include directive (currently resolving w.r.t binary location);
Typing.same_type constraint;
functions moved from Main to Env (which contains global state about typing);
some typing issues remain though