I've added ticket #7, which says that we should remove the requirement
that members of external classes be marked as 'external'. I believe
this requirement is a vestigial trace of our previous functionality
that allowed code be allowed in external class definitions.