Increase priority so that registered taxonomies are available

We use a rather customize version of woocommerce and we ran into a problem. 

In short, we have a custom taxonomy associated to woocommerce products. This taxonomy was created with the Types plugin:
http://wordpress.org/extend/plugins/types/

The problem is that Types is registering the custom taxonomy as priority 10 in the 'init' hook, as explained here:
http://codex.wordpress.org/Function_Reference/register_taxonomy

But checkout is also being fired by woocommerce at 'init' with priority 10, this causes any filters that we attach to woocommerce_checkout_complete to not have the custom taxonomies available.

With this commit, its all working as we expect it. Would it be possible to incorporate?