[R6RS] cost of letrec* semantics for internal definitions

[R. Kent Dybvig]

> > > ... but I do not know of anything in
> > > the 5.92 draft that would allow implementations to
> > > reject programs before execution for reasons such as
> > > those we are discussing here.
> > 
> > Me neither, hence my phrasing "could easily addressed by allowing".
>
> Can we add that to the agenda?  Or does someone have
> to make a formal comment first?

We can certainly discuss this and any related issues amongst ourselves,
but I think a formal comment may be a better way to proceed before we make
any substantial changes so that we can get community input and not
surprise the community with a change that might not be popular with some.

Kent