Never try to normalize global binders.