Check that both types are non-blocked in TwoContexts.
Add explicit type to represent common Term actions.