Remove the NamedFoo classes

Remove the NamedLambda, NamedPi and NamedVar classes.
This decreases the number of conditional branches required to walk
AuTerm structures and thus keeps the code cleaner.

mkNamedPi and mkNamedLambda now directly generate the corresponding
Aurora terms.