Staapl experimental code

Entry: sm/sm.rkt
Date: Tue Jul 15 14:27:47 EDT 2014

Language with:
- all "lexical" variable allocated as globals
- tail calls are "gotos with arguments", i.e. they never return
- recursive function calls are inlined

Later maybe optimize inlining to real function calls if there are no
yield calls in the dynamic extent.