Rename types
Transform RecordExpr to record type
Move types to appropriate files
Finish renaming