Move Term, Literal, Variable and Derived to their own namespace.
Bring Literal#leaf?, #branch? and #child_of? under test.