Metric Spaces

Work in progress...