Correct agda formatting for records
Began implementing big changes due to review 2
More review changes