I'm interested in feedback from the syntactic descriptions to understand the necessary structure in the sematic type/category and objects spaces. Categorically, Cards are representation generators. In Decko currently this is Format x View as an operator or functor space over Card Decks, and mutations of Decks via a well defined Deck monad make things all very cachable and efficient as well as hiding fast pace of all changes in scalled infrastructure in the corners generating and testing their additions to Decks for one purpose or another.