code: func newTypeChecker() *typeChecker {
  	tc := &typeChecker{}
  	tc.exprCheckers = map[string]exprChecker{
  		"eq": tc.checkExprEq,
  	}
  	return tc
  }
docs: // newTypeChecker returns a new typeChecker object that has no errors.