Text this: Extension to a set-theoretic data structure sub-language.