use proper initial state for type inference as part of compilation
use proper initial state for type inference as part of compilation

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