bugfix: adt error reporting
bugfix: type checking