Namespaces for cop names

Two separate commits for now. I'll squash them after review.