back to a working type checker