Improving type representation (not finished yet)
Fixing predicate_target
Merge branch 'master' of github.com:nguyentito/mlpp

Conflicts:
	src/elaboration/elaborateDictionaries.ml