switched from hlevels to n-types, according to wishes expressed by others