MILESTONE 1 : a first primitive interface and a 'Proof Scheme' system. Bad errro handling