>It was never clear to me why type declarations aren;t allowed in >the private part of a P.T. They are purely compilation-time >things and would not increase the execution overhead. What's >the rationale for excluding them? Here's a hint: they used to be called "protected records". Really!