Modified syntax for type specialization. Create AST node for type spec.
TypeVars and TypeSpecs are now represented as entities.