Add terminal presheaf
Add natural transformations
Add identity type (just in case)
Add void
Add list
Added pointwise product of presheaves
Some list modality stuff
Added sums
First pass at forcing / sheaf semantics (not quite done yet)