Refactor unary prods to forward unconditionally

[krame505]

This should allow for extension inh equations supplied in unary op implementation productions to be used via sharing.

This currently fails in the MWDA, due to seemingly triggering an O(n^2) case in decoration site tree resolution.