Updated subtraction; not fully working
Some infrastructure for multiplication