Keep track of universes on coercion applications even if they're not polymorphic (fixes bug #3043).