More work on Eff for the typechecker