resolve_symbol does not work for universe polymorphic definitions.

`constr_of_global` raises an error when there are free universes.

There isn't really any getting around this, it is just annoying because universes are second-class.
