Completed a first pass on PredicateTransition and SemanticContext
(still more work to do).