Add Relation#[] as syntactig sugar for projection/renaming.
Enhance Relation#[] to act as a selection.
Don't be too picky in TypeCheck.