WIP: making in/out first order members (and deriving inC/int/outC/outT)
Revert "WIP: making in/out first order members (and deriving inC/int/outC/outT)"

This reverts commit 6b876d07984cd53fae1640f03aa834ccd3647e9d.
Merge branch 'feature/static-queries' into experiment/arities/simpler-in-out
WIP: trying approach with recursive graph-types
Fixed steps not being a path; compiles, but not tested
Fixed Edge members and some other mistakes; having problems with map
Everything compiles including tests, but there is serious runtime problem with edges
FIXED!!! :tada: Compiles and passes all tests! :muscle: :triumph:
Added fake methods when flattening or mapping over ExactlyOne with friendly warnings
no need for sourceV/targetV methods; lazy vals instead
take a look
no defs for accessing vals inside
A lot of minor changes; some renaming; more lazy vals
Merge branch 'experiment/arities/simpler-in-out' into feature/static-queries