Draft of implementation of MetricSpace