Finished amb example.
Cleaned up lambda example, made if work.
Made extended language (doesn't catch errors properly).