• Implemented specialised “non-informative” subclasses of various constraints so that we can test assertions without giving away the answers to the students! (closes #13) ...

• Refactored a couple of variable names.
• Fixed punctuation in assertion output.