Describir: Groupoid Metrization Theory