Data Structure Code Generation (DSCG) utilities for specialising maps or sets.