mod and modtype follow a different convention

See also https://coq.inria.fr/bugs/show_bug.cgi?id=3756