Specifying that anon classes aren’t type constructors in CLS
Fixing parameterized types in CLS

Fixed the thingy with substitution in type parameters.