Types and extensions for declarative data transformations.