Fixes:

Fixes:
 - 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