[Fix] Printing of subtraction
Subtraction is realised in SymPy with a multiplication of -1 and an addition. Since the -1 is casted in our typing system, it remains in the printer. This leads to many unnecessary number prints. We can avoid this by not casting the negative one