InterfaceType constructor

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

InterfaceType class