More universe polymorphic defs for lift-hom, reify and unfocus
Add lift-Dec