AliasType -> TypeDef
ProxyType -> TypeRef
Add Information Contract to TypeRef
Add missing spec on TypeDef's IC
TypeType reuses ObjectType. Fix IC of TypeRef & TypeDef.
Refactor System's internal representation.
Export a few more public objects.
Add a Function reusable contract
Add Function and RegExp to recognized js types.
Fix undress error.
Non required attributes may be missing in Tuple#undress
Fix for older versions of coffeescript
Allow ':' in type names.
First attempt to bootstrap.