Intervals in matching.ml first steps (almost sure)
Fixed syntax&co errors, compilation ok