Add integers

[kaleidawave]

Have stalled on associativity of addition for integers

Yes I commit the file to main first accidently. Too much of a mess to remove and reinsert here, so will pretend that it was introduced here