Take account of GADTs when reporting patterm-match overlap