started work on metric spaces
Merge branch 'subsets' into subsets-8.4