Update OCaml to 4.02

earray_syntax doesn't violate invariants of parse tree.
Store information about distinct constants in symbol database
Refactor problem loading and preprocessing by E