add support for user-provided decompositions

[ctdunc]

this commit will add support for user-provided decompositions as dicts of {var: label}, {cons:label} pairs.

still needs testing & examples, but opening a draft so maintainers can follow along if you have time.