fix #540 quick fix for type alias syntax
update typechecker with new err code