Macro Definition Interpreter (Straw Implementation w/o E-Expressions)

[almann]

Implement a basic interpreter that computes a macro definition at the user-level stream context without E-expressions.

This implies all the special forms for the AST are evaluated.

We can demonstrate, without e-expressions, an evaluation context using s-expressions (similar to the macro definition language)--this is the step towards a simple REPL that can demonstrate the macro definitions in using the macro definition forms.

The goal would be to still implement the interpreter as computing streams to demonstrate laziness and to be a straight-line to E-Expressions themselves.