refined parsing
	updated sample file to avoid parsing errors
	added prints to report Parsing progress
	Constraint + IntegerDomain: reworked toString() to improve readability
fleshed out main + added test case