Type adjustment for $type-s