* implement --fts flag
* start implementing constructor classes
Progress on constructor classes: class generation.
Some progress on constructor class elaboration.
* Mark all type constructor variables with quotes at parsing-time
* Handle higher-kinded polymorphism better in elaboration
* Progress on constructor classes
Progress on instance?
Printing modules is good enough for classes for now!
Mostly done with class constructors, except for instances.
Unfinished business.
Recursive modules.
Constructor class instances look like they've started working!
Constructor classes work!
Merge branch 'master' into modules

Conflicts:
	src/elaboration/elaborateDictionaries.ml
	src/inference/typingEnvironment.ml
	src/inference/typingEnvironment.mli
Merge branch 'master' of github.com:nguyentito/mlpp

# Veuillez entrer un message de validation pour expliquer en quoi cette fusion est
# nécessaire, surtout si cela fusionne une branche amont mise à jour dans une branche de sujet.
#
# Les lignes commençant par '#' seront ignorées, et un message vide
# abandonne la validation.