* 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