Open
Description
Motivation
Extensions should not hide the capability to name the underlying module, when desired. For example, the Logic.rotateLeft extension doesn't have a name argument to name the underlying Module.
Desired solution
Add name arguments to extension methods.
Alternatives considered
No response
Additional details
No response