Dear Peter and all,

>Having finite-size pointer types in the model seems to me to be a clear
>positive thing, not a negative, so I'm not sure what you're saying here.

Just that my proposed "two model model" does not seem a
rewording of your approach.

Let's not spam the liaison mailing list any more, and leave
it at this for now.

Freek