Very interesting package! I like that you allow the user to define traits which may dynamically dispatch, but I think you should put a warning somewhere in the readme that if the user uses a trait pattern that depends on runtime information, they will generate slow code.
Can I ask why this is on a separate registry from the general registry? Is that just a stopgap until you can register your dependant packages or a long term solution for you?