Why do we need TYPEOF?

Even though that feature is in the accepted list for f202y, I think it’s being dropped. Besides some apparent issues with scoping rules, one argument for dropping it (weak, imho), is that it might require too much typing as opposed to the ONLY, local_name => entity_name. ... feature we have right now.