Added addition and substraction typeclasses

Progress made :)