Modified env
Added class predicates as argument of expression to retrieve the correct
instance to use an overloaded function
Some improvements in dictionnary and expr elaboration