made changes for the constraint setup
Merge branch 'master' of https://github.com/TLeth/DartTypeInference
rewritten the constraint generator with a nicer syntax