Move some BasicLambda example features to the library

[AndrasKovacs]

What the title says.

• The error handling in the example is decent, it should be probably exported in some form.
• The keyword/identifier disambiguation is also a common pattern.

[AndrasKovacs]

Superseded by the more ambitious issue #49.