Currently just removes restriction and adds some basic recording of conditionality, and feeds that information through to the GSB and constraint solver and anywhere else that needs it. This doesn't...