Begin of multiple variables fix
Merge branch 'master' of github.com:nguyentito/mlpp

Conflicts:
	src/elaboration/elaborateDictionaries.ml
Other part of the fix for multiple variables