Do you think values and types should be in separate namespaces? Why/why not?