Further experiments with functor type evaluator.
Process nodes in strict post-order.

Also fix incosistencies implied by previous strategy.