@Override public Value constructor(String typeName, String constructorName, Term term) { return values.constructor(typeName, constructorName, term.accept(this)); }