Move relations into flavor?

[codygunton]

This would allow some simplifications (like MAX_RELATION_LENGTH is part of the flavor, which I think is the natural place) but would come with some costs (we'd probably want to replace parameter packs of relations by something else, perhaps simply a struct exposing aliases, or perhaps the type of a certain tuple).