Implemented the Herbrand universe levels.