Choses - A set manipulation language