reformatted comments to 120 width
graphviz pretty printing for schemata
fixed a bug in confusion set computation that was producing the wrong
ordering of alternatives
made types more precise
added methods to work with circular references
improved comments
handle nulls in verbose output
handle predicates with no variables
set version to 0.0.2
set verbose flags off