Demangle the names of reified protocol methods

Fixes #4