isSubtypeOf now functionnal. Env modified to keep track of class inheritance.
Typing of Call. Typing of +*-/%.