fix type compilation error
finished type def compiler, now `lazy` supports custom types

Amazing ADT implementation in all λs!