Further work on Freyd categories
Rephrase example
Remove TODO
Merge pull request #10 from yfyf/freyd_categories

Further work on Freyd categories