IntegerDomain tested; added TEST_UNSUPPORTED to VariableType for test purpose
Constraint class tested
stricter type control in Variable & Constraint
tested CSP structure creation
CSP: added isProblemSolved method; others: added more null value checks
started Backtrack draft + added some doc