Fixes exports and abstracts Haar random matrix types
Fixes Haar symbolic integrator to work out of scope