Ovid knows P6 subset types which wrap where clauses and I imagine he was floating the idea of a P5 implementation doing either a named subset type or an anonymous where clause as you suggest.