MOSES: Assorted documentation and code cleanup.

Expand documentation for the "interesting predicate" solver. 

Clean up the combo table_io header file.