In addition to the simple black-circle base marking, allow to set constraints on a base.
ie. Let me specify that a certain base can be only C/G/A or can’t be U/A, or instance.
If the constraints are violated during solving (by the player placing a non-satisfying base), the circle should be highlighted to indicate the violation.