4.02.0 compiler extended with modular implicits + associated camlp4