finished type def compiler, now `lazy` supports custom types
finished type def compiler, now `lazy` supports custom types

Amazing ADT implementation in all λs!

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps