Removed Btree, replaced by Map from standard library
Removed unused camlp5 file def_syn