Tweak language spec:

Blocks are not statments
Callouts are now predeclared, then used as normal functions
Class Program is no longer a thing.