Document symbolics and symbolic utilities

[mpharrigan]

The contents of qualtran.symbolics should explain how these helpers are used. Examples of how Shaped and HasLength can be used (and why)

[wjhuggins]

I found this confusing, so some examples and documentation would be super helpful.