ModuleElt does not need a top-level annot