Rename PatUniq to PatBox. Fixes #13910.