spec.txt: Attempt to define an eval implementation
spec.txt: Outlined some ideas about what a possible standard library could implement