Declarative constraint validators

[sortedcord]

Constraint validators for the handful of actions that come up while testing v0 (not a general solver; specific reject cases that were hit).