Rename defn to defprc

Thoughts?