TcUtil: do NOT coerce patterns
TcUtil: do NOT coerce patterns

This was typechecking by coercing the bool patterns to Type0

 assume val test: u:unit -> Type0

 val bla: unit -> nat
 let bla u =
   match test u with
   | true -> 0
   | false -> 1

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar