More explicit high-level interface for consets