Add Transaction Time to the Algebra
If schema versioning is to be supported in the algebra, this task must consider how algebra expressions are to be type checked in the presence of multiple schemas active at various transaction times.