Member predicate Variable::pp

Gets a printable representation of this variable together with its type.

string pp()