The `default_lens` would be used for anything and everything.
And `tuplizeAggregate` can then be used to make a defaulted
`default_lens`. This simplifies most lens oriented code, as
I move forward.
So the `constexpr` traits do not really look better here. But
they may be better for writing linear code in complex trait
processing, as opposed to complicated recursive code. Still
to be determined. However, If I stay with this and if
`std::find_if` and friends are `constexpr`, then the `Mata`
algorithms can be removed, and `std::` forms will just work.
That's a nice bonus.
Otherwise, we need something more like `boost::mpl`, which is
kinda annoying. Still, `Meta::Container::vector` is very
nice -- it side-steps some issues with using `std::tuple` as
a type-list.
It's a lot of heavy lifting. I'm not sure it actually
adds any useful value yet, but I'll continue to play
with it. It is nice that we can *sometimes* use
loops. Sometimes we can't though. And we have
to make some blind-corner evaluations that throw
dummy failures to keep the compiler from complaining
about missing cases -- despite the fact that they;ll
never be reached at compiletime. (Runtime evaluation
could be different, of course.)
I think, perhaps, a universal representation of a
dereferenced iterator might solve some of this, but
I also don't want to sink too much effort into this,
despite how much fun I'm having.
