Renaming, module and predicate definitions