added bytesCount.agda
described bytesCount
added a cat
Update README.md
replacing postulates with lemmas
Merge branch 'master' of github.com:defanor/agda-stuff