public TypeChecker(AbstractTreePrinter translator){
  this.translator=translator;
}

public TypeChecker ( AbstractTreePrinter translator ) { this . translator = translator ; }
creates a new type checker object .
