Fixtypes of statements, blocks, and related entities [C:6.8] [C:A.2.3].
These are mutually recursive, but the mutual recursion is much smaller and simpler than the one in exprs/decls.