Restore the possibility to give a name to a universe in an inductive
definition