Fix to-iface conversion of RULES involving coercions in argument pattterns