Default Composition

[lukem12345]

Currently, composing Decapodes requires a user to both construct a UWD and specify internal variables when oapplying.

However, some users already have a composition in-mind when constructing components, and already "globally namespace" their variables.

So, we should offer a helper method that constructs a default UWD that assumes that variables with the same name are to be composed, and oapplies this UWD.

[jpfairbanks]

A lemma for this might be the ability to "add connection" where you take two variables and add a junction coupled to both of them.