carry the anycase flag into module type also