rename maximal type to Low_Level.Universal from List