White space cleanup according to PEP8
Enable syntax highlighting on README
Added predicate aliases that make more sense in some contexts