I always thought the word "contract" in crypto was more of a metaphor than an actual contract. Kind of like how filesystems have "folders" even though the "folders" in a filesystem aren't anything like real folders at all.