Version 1.0.1 has the following changes:

* Add makefile that checks everything
* Implement produtcs in Cat
* Use equational reasoning for readability
* Use instance-arguments for proofs in `Product` and `Category`
* Add no-eta-equality on records
* Use TDNR

Finished and accepted proposal

This version also adds a bunch of results about categories

Basic CT definitions