Names are no longer IntegerLiteralConvertible.
Names are no longer IntegerLiteralConvertible.

This was never used and it’s hard to imagine how it could ever be.

antitypical/Manifold,antitypical/Manifold