Term 'relation': A sequence is internally a table with one row - right? Shall we extend the list of concrete relations by 'sequence'? Or is this not necessary because 'table' is already there?
I wrote one for sequence, it was a bit math-y for Alvaro's taste, so we're going to try again.
