\lambda x:False.
  [\lambda h:False. True]
  match x:False with []
### (* METASENV after disambiguation  *)

### (* TERM after disambiguation      *)
[x:False]
<[h:False]True>Cases x of 
end
### (* TYPE_OF the disambiguated term *)
(x:False)([h:False]True x)
### (* REDUCED disambiguated term     *)
[x:False]
<[h:False]True>Cases x of 
end