Generalize subtyping criterion for # projections

Following a comment of Rex.