System can handle larger test files, but the type checker really needs more descriptive error messages