- new letin interpretation in nCicDisambiguation fixed to not swap arguments
- new refiner raises good exception in case a sort in not such
- reference raise good exception instead of assert false
Improvements:
- new disambiguation attached
- constructor -> indty function in reference