Add type predicate annotator
Gitignore readme
Fix readme, once and for all.