public SymbolTablePrinter printType(Type type, Symbol user) { return printType0(getTypeToPrintForType(type), user);
public SymbolTablePrinter printType(Type type) { return printType0(getTypeToPrintForType(type));
    public SymbolTablePrinter printType(Type type, Symbol user) {        return printType0(getTypeToPrintForType(type), user);    }