almost compiling again after significant refactoring towards Spire typeclasses (starting with Eq)
Eq witnesses for all quanta
fix remaining compile errors