AscendVisitor is the superclass of Type0Visitor and Type1Visitor,
conveniently containing the common code. It makes an upward traversal of the
tree as if it were a binary tree (nodes with more than two children, such as
a method call, are considered in a form similar to curried form).
author: Thomas VanDrunen