> 1. Just look at LISP, which contributed the if-then-else statement,
> recursion, lambda expressions, metalanguage, garbage collection,
> the ability to write an interpreter or compiler of a language
> in itself, etc.

Niggling historical point: IPL had recursion a couple of years before LISP.