[PATCH 1/2] widl: Check for redefinition of named user types.