2 funcs to create objects with reified generics for #156
Call reify funcs on BaseTypeExpressions with type params for #156
rename property that holds type arguments for #156
Improve type parameter reification for #156
A little progress on method type parameters for #156
Skip BaseTypeExpression if it has errors
Use only the simple version of reify function
Optimize reified generics for types and start work on methods
Revert additional parameter on class initializers
Pass type args to created array in array()
Pass type arguments to all initializers and method calls for #156
redefine isOfType() to use real types instead of names for #156
Use new isOfType with types instead of names
Fix TypeCategory to use new type scheme
isOfType now checks type parameters for #156
Prepare extendsType() for union/intersection types, export Bottom
reify comprehensions, avoid undefined arg when using comprehensions
extendsTypes() for union/intersection types
extendsType(): Bottom extends everything.

className(): add type args to the description
Merge branch 'reified_gens'