Global environment can not be changed at runtime from now on. Compiler takes care of that
Rewrite the Krivine machine. Having trouble with native procedures. Looking good otherwise.
Show number of steps taken to compute. Now passes tests/srfi-1
Get rid of intermidiate instructions and make the Krivine machine work based on its state. Passes srfi-1 test.
L-machine is call by need
update update
use srfi-9 records to represent closures and markers
accomplish direct dispatchment by injecting function pointers to the code
introduce APPVAR rule etc to implement S-Machine
Merge pull request #24 from ympbyc/s-machine

S machine