Code has gotten larger in size, but also semantically a lot clearer.  The types still need to evolve a bit more, but it is getting a lot closer to capturing something meaningful.  It is a little less convenient than before, but what was there before was not useful (because the Maple which was output was not right for the purpose).  Getting the Maple right required changes in types.  And will require more still.  At some point, this should be reflected back into Syntax, but not before Symbolic settles a bit more.
Code has gotten larger in size, but also semantically a lot clearer.  The types still need to evolve a bit more, but it is getting a lot closer to capturing something meaningful.  It is a little less convenient than before, but what was there before was not useful (because the Maple which was output was not right for the purpose).  Getting the Maple right required changes in types.  And will require more still.  At some point, this should be reflected back into Syntax, but not before Symbolic settles a bit more.

bitemyapp/hakaru,zachsully/hakaru,zaxtax/hakaru,zaxtax/hakaru,zachsully/hakaru,suhailshergill/hakaru