Freyd categories

Here we go. This took me forever. WIP, I guess.