fix(terms and type checker): use deref trait, further temporary changes in type checker, removing previous environment definition; early: won't compile