new minor functionality to indexed_types