progress theorem for path evaluation to go with the preservation theorem
added Maybe to Util. Added _All!_ to Vec
Separate stack and heap. Reform statements to handle pop getting stuck.