Cleanup

- Add Makefile to examples/
- Move id and flip to theories/Relations
- Change flip to be a definition
- Cleanup proof in Hide