Prototype of symbolic Haar integrator.

Currently has a bug where the indices of the Haar matrices are assigned incorrectly.
Fixes up symbolic integration, leaves only coefficient calculation
Working (but untested) version of symbolic integrator over Haar measure