start sketch of Arthan-style set theory