Added evaluate-apply and evaluate-let*

These expressions have to be implemented if we want to let this recursive SLIP interpreter interpret an annotation-free version of itself
Added recursive SLIP interpreter without tracing annotations

This interpreter is identical to the recursive SLIP interpreter, but it doesn't contain any annotations for tracing. It is meant to be interpreted by another SLIP interpreter that does have these annotations for tracing