Add predicative hierarchy of universes