assertTextEQ using assert specific to numbers
more design and thoughts towards ABC to Haskell compilation