Elementary row/column-operation algebra (Elementary) and the echelon-form data and contracts (Contracts). This module re-exports them.