saved unification failing equality in SymbolicConstraint for debugging
removed #Id leftover
add DependsOn annotation to denote compiler passes that must run after
another compiler pass
on second thought, this is better
fix compile error
add javadocs
handle builtin and token sorts more generally in the java backend
Merge pull request #247 from dwightguth/master

add DependsOn annotation to denote compiler passes that must run after another compiler pass
indexing: progress on tuning indexing algorithm and better profiling
indexing: minor cleanup
indexing: many minor changes
indexing: minor optimizations
indexing: added code to track a couple more stats
indexing: adding comments
indexing: making constants for some strings used in multiple places
indexing: cleaning up and adding more comments
indexing: removed redundant constructor
indexing: more cleanup
indexing: more cleanup and comments
indexing: more optimizations of the process of
getting index queries from terms.