Add more namespacing to set category functors

To me, [SetCategory.Functors.to_set] seems nicer than
[SetCategory.to_set] to refer to the type of functors from a category
[C] to [Set].