ParameterizedType constructor

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

ParameterizedType class