back-up
Changed extended_I to start adding lists.
Updated Agda and the standard library to the latest development version.
Started adding lists to extended_I.
After meeting.
Three properties.
Starting categorical properties.