Fixed unification of values with multiple children of class Type.

The unifyAny method now applies the substitution resulting from the
unification of a child to the remaining children. This fixes #3
Added a companion object for each traversal trait.