parser,lexer and printer for default terms;
stub for unification