Disable "step back and retry" hack in the type engine
Enable re-processing of inference rules after solving inequations
IfInstanceOfVariable's type depends on the IfInstanceOfStatement
Use of SmartClosureParameter is disallowed outside collection queries
Made required lang smodel
Added explicit type dependencies to the parent concept
Added explicit type dependencies to the ancestor method declaration
Fixed the typechecking context hierarchy