Implemented named-lets, and a few extra primitive procs.