Changing the way min contexts are defined so that min0 can be a thing
Moving mapType in scheme names