This seems unnecessarily restrictive. We don't typically `typedef` block types, but there's no reason to elevate that to a rule.