TypeCheck cont.
Output typed ast with --type
TypeCheck done & test files
Test generated typed ast