Edited documentation for predicates and utile. Also removed lib/ from .gitignore. I need lib/ !