Seperation between type checker tests and runtime tests.