TypeAliasType constructor

1. lean_builder package
2. documentation
3. type
4. TypeAliasType
5. TypeAliasType.new constructor

TypeAliasType class