Changes

Summary

1. minor performance tuning: recursive check of pointer_eq;
2. minor performance tuning: avoid excessive (de)constructions for base cases;
3. unused (see also 864c7c684651 and b6aa5eac0a1a);
4. tuned;