module documentation

Test cases for the constraint solver used in type inference.

Class SolveSuite Undocumented