don't store subpats bound to underscore
no type test when expected type is non-reference supertype
SI-6686 drop valdef if symbol is not referenced in block of flatMapCond