Push file- and package-level allow statements into type blocks so that group names are always resolved relative to the type.
Get rid of the need to declare global group names in a no-op, top-level group block.