Camm,
Thanks a lot for your work on GCL.
My only comment about recompiling policy is that I hope that
the system remains in a safe state by default.
About this,
> A final question remains of
> whether or not to actually use ftype declaims if provided.
My advice: ignore user-supplied ftype declaims.
All the best, & keep up the good work.
Robert Dodier