add duality owns<->Submodel via flatten<->deepen

added several new defs and lazy vals in model, including:
ownerOf, ownerCircles, circles, owndeDepthOf, ownedMaxDepth,
ownedAtDepth
added semantic check hasOwnerCircles
flattenAll is done but deepenAll is TODO