Further work on Freyd categories
Rephrase example
Remove TODO