Remove more empty sections

A section is empty if it only contains [Set Universe Polymorphism] or
[Unset Universe Polymorphism].