Updated documentation in accordance to implementation.
Updated documentation in accordance to implementation.
Documented the constraint solver.
Documented type rule for variables.