Completed a first pass on PredicateTransition and SemanticContext

Here is the latest from Alejandro and me.