Add inverse of `resolve_overloads` & Check types

With the merging of the SymbolicUtils interoperability branch into DiagrammaticEquations we want to remove the user-allowed typing of DEC operators in the Decapode. For example, a user using `d₁` instead of the generic `d`. While this typing is still critical during the code generation phase, in order to differentiate which matrix implementations of `d` to use for example, for the purposes of type inference/rewriting it is increasingly adding to the overall complexity of the code without providing much benefit.

To remedy this, we should instead only work with generic operators on the user-side, so things like `d₁` are no longer viewed as a valid DEC operator and only `d` is. Then, for code generation only, we take the operator's name and it's surrounding type information to generate its type-specific name there for implementation differentiation.