Specify greedy variables using an attribute of Variable rather than a separate subclass.
Add first version of term builder, which provides syntactic sugar for creating subclasses of Node.
Rename Node to Term.