Work on predicates...testing.
Tests and refinements on combinators.
Further integration of transfer combinators.