More careful segregation of final types from in-expression types
Added typecheck test script.
Oops: printparse shouldn't be in git
add testall.sh
Updated testtypes.sh to run all tests.
Working on class inheritance-related typecheck errors.
typecheck helper script
testtypes: fail hard on previously passing tests
declare builtins with dummy source code