convert some types to ordered facts
finished conversion to ordered facts