verify type normalization
try fix bugs in norm verification
fix backtracking in par-reduce
Fixed stupid copy and paste error and added type-eq-app
fixed parellel reduction for terms containing metavars
added last type normalization rules and extended ADT tree example
added verification procedure for kind normalization rules
verification of not-in-lab rules
rm aterm file
toward proper type-of support
cleanup a bit
debug info
raise exception on failing pretty print
clean
fixes
undo lookup changes
deactivate context strenghthening due to performance issues
debug messages
strengthening for verification
some fixes to the extensions