Work on record transformation
Change representation of records in transformation
Update transformation section
Finish formal definition of record transformation