added matrix indexed_type inference to meta