more typesystem support