Iota to Snap! compiler
It gets lazy and tries to make Snap! do its job

Yeah that's not lambda calculus (although it does use lambda expressions). You can't use any data type other than lambda expressions; in particular, you can't use Snap! lists to look inside a lambda.

Oh im not making a Lambda calculus interpreter in lambda calculus!
I'm making a shorthand for call and grey rings.
Lambda string->list of lambdas->call and grey rings
It's a compiler!(I see why you are so unimpressed,I was lazy and made snap do the evaluation of grey rings and call)

Just found out that I accidentally reinvented Iota.