Describir: Ordered Convex Metric Spaces