Enforce type to be always known on Tuple.
Fix spacing issue.
Operators know their relation type at construction + prepare typeCheck()