more fixes to support ADT verification
more ADT stuff
slightly improve editor integration
back tracking
deactivate EVAL
all ADT stuff verified
fix bug
try to improve error reporting
more ADT support
kind normalization WIP
more kind normalization WIP
simple ADT checking works
almost there
fix more bugs; prepare not-in-lab rules
not-in-lab rules; unequal-names judgment. => simple ADT works, verification for new rules pending
toward type norm rules for ADTs
remove debug msg
finished type normalization rules for ADT
delete aterm files
activate desugaring for extensions