Module dims 

Dimension-list validation.

Rules:

• At least one dim.
• Dim names are unique within the schema.
• Each dim’s domain bound variant matches its declared DimType.
• For ordered numeric dims, lo <= hi (lexicographic for strings).

Functions

check