Started with explicit generics
Don't store type in Allocate node. Lookup type also checks in type vars.
Replaced generic annotations with new ones
creates_new_type is no longer needed
string_rep is no longer needed
Made Array generic with type var T. Check type vars length when instantiating a class.
Type vars as restrictions
Type vars work in class methods. Trying to make tests pass again.
Started generic pointers
Fix pointer types display name
PointerOf maps types to pointers
Pointer#as for generics
Fixed Array#to_s and StringBuilder and String
Started array literal type inference
Type inference for array literals. Program tracks union types. Some other code copied from the generics branch.
Restored more efficient array literal
Fixed some specs
Fixed more specs
Removed spec
Fixed most of the specs. Marked failing ones a pending