feat(library/definitional): add no_confusion construction that is compatible with the HoTT library