try to improve error reporting
more ADT support
kind normalization WIP
more kind normalization WIP