Completed All Necessary Predicates

To test if a string is well formed simply do -- isType(wfs,
<String_Here>).
Also updated .gitignore to exculde .pyc and . pyo files.