Language-independent functions-as-trees representation

[Jason Merrill]

FWIW, I've created a new branch, named bnw-simple-branch, for my work in
progress on the new simplifier.  Please ask me before checking anything
into it.

Jason