track type environment for type checker in optimization
track type environment for type checker in optimization

matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff,matijapretnar/eff