Require programs to accept an empty initial stack.

Closes #55