Add implied joins

[grandrew]

@mattersmap was debugging allocation problem and figured out that he was missing a correct JOIN constraint that 99% of the time user would anyways want to have.

Implied join is a constraint that checks if there are same columns in selected data - they must match

The idea is to automatically inject the constrains and let the user remove them when not needed

@mattersmap need elaboration

Like "If I select these types of rows and to this specific operation on these rows, AND there are same names in columns - then there is 99% chance I need the assert join" - please use bulltetpoints