Type-enforced sorted lists and related functions
