Added relational-only support

See the SolveRelationalEquationUseCase for an example of how
relational-only constraints can be specified and used.  Refactored
existing artifacts to support this introduction.