Implementation of the more complex constraint framework facilitating chained inequalities and so on

[HarrisonWilde]

There is still some work to do on this. But as of right now:

• Closes #6
• Closes #2
• Closes #82
• Closes #19
• Closes #69

There is a niggle with the implicit constraint graph to be resolved before constraints will work properly.