Mon Jan 28 09:38:07 CET 2013

Lazy syntax

It seems best to move the lazyness to `ai-app'.
In this case, feedback becomes a function again.

There is a choice:
- application of primitives
- application of all functions

Already confused.  The point is to catch the return "channel" of the
arguments of a primitive before the primitive is executed.

The `ai-app' form cannot distinguish primitives from composite
functions.  So it needs to insert a thunk, and the corresponding force
should be inserted by the lambda form.

Hmm... this is a mess..  Let's not do it that way.