Remove Neg/Sub/Inc from the symbolic solver

It's too complex to work with, and can be easily generated
at code-generation time