Fix remaining type errors after typechecker/Eff change