reject "types" as module name to avoid ambiguities caused by empty type
rule sections