maybe we could change `inModule` to something like `modElem` here, since `inModule` is already defined in Bare as an action in the `BareM` monad?