Added error/op factory method to TypeChecker