Touch up MetricSpace and implement laws.
Fix complex refactoring bug
Merge remote-tracking branch 'tixxit/topic/metricspace-laws' into 2.10.0