I've added code to ecmaspeak to detect when an algorithm description mentions an alias that isn't a parameter. It found a bunch of cases, but most are reasonable. One that's questionable is in ValidateAndApplyPropertyDescriptor, which has a parameter extensible, but the description refers to it via extensibility (which certainly reads better in context).