typecheck compiles for all given test files (super and this not yet implemented)