“Jeremy Allaire predicts that the fundamental nature of contracts and corporations will evolve into software machines.”