public SymbolTablePrinter printType0(Type type, Symbol user) { printCommonPart(type, user);
public SymbolTablePrinter printType0(Type type) { printCommonPart(type);
    public SymbolTablePrinter printType0(Type type, Symbol user) {        printCommonPart(type, user);        switch (type) {        case ThisType(_):        case SingleType(_,_):            print(".type");            return this;        default:            return this;        }    }