Tweaks

* Fixed a few comments
* Added description to ConstraintRelation
* Added comments to Constraint