Updated various things.(halfway)

Updated the toy problem.
Revised procedures in lhs::basic_lhs_enumerator_t for acceralation.
Revised definitions of some methods of pg::proof_graph_t.
Changed the operator "_|_" to "xor".