Translates Z3 S-Expression ASTs into native Elixir data types, and compiles Z3 lambdas into executable Elixir anonymous functions.

This interpreter is only expected to run S-expressions returned by Z3. It will probably not grow in scope in order to run general Z3 code.