reduction of fixmatch (recursive case incorrect)
typing of fixmatch of a path + _rect2 scheme
bug in reduction (in pretyping)
fixmatch parsing (not safe)
improved fixmatch compilation
fixmatch printer
cleaned fixmatch compilation
cleaned up cases
fixmatch reduction (almost done)
bug in interp of FFixMatch (critical only for the printer)
lift bug in fixmatch/path reduction