started annotation
replaced 'exp' with 'expr' because the syntax highlighting was getting on my nerves
replaced 'exp' with 'expr' here too - comparing with ch4-ambeval.scm
simple expressions, conditionals/sequences, definitions/assignments
procedure applications - pretty annoying...
Section 4.3.3 - Implementing the Amb Evaluator. annotated and tweaked