new modules Precedence_intf and Ordering_intf, to avoid copying of module types
new functions in the precedence