Update many names to our current naming scheme. This of course created many ripples in the whole codebase. This resolves #117.
Some code formatting and clean up.
Restructured and added some prose to the section on fundamental theorem of identity types.
While I feel mostly confident that I chose good names, it might still be a good idea if someone like @fredrik-bakke could give it a glance to make sure I didn't do anything silly.
This is a housekeeping PR for 08-family-of-maps:
While I feel mostly confident that I chose good names, it might still be a good idea if someone like @fredrik-bakke could give it a glance to make sure I didn't do anything silly.