README Update
More test files
Introduced new functions, to define
is_superclass
class_definition, simple checks
test files update
elaborateDictionaries edit
Added comments summarizing constraints
Comments (2)
test files
Merge remote-tracking branch 'upstream/master'
xMerge remote-tracking branch 'upstream/master'
test update
Merge remote-tracking branch 'upstream/master'
Merge github.com:Syrak/minihaskell into syrakbranch

Conflicts:
	test/inference/bad/Makefile
	test/inference/good/Makefile
Readme update...