11/27   How the heck do you derive the successor function and addition?
        succ n = lambda f.lambda s.f (n f s)
        add n1 n2 = n1 succ n2
        mult n1 n2 = n1 (add n2) 0
        Okay succ is defined as the number of f that will be applied to s,
        so I guess I kind of understand it. But I don't understand add/mult