format eC2.mli for readability
removed type annotations from parsing functions