bug fix in typechecker, "Mod" case now returns TPol