Soundness hole in match expressions that use wrong type destructure

[andrew-johnson-4]

trafficstars

(match term (
   ()
   ( (NotATerm( _ _ )) () )
))

The current macro system won't raise an error because of the hard cast inside these branch destructors. The type system is partially to blame and the "match" macro implementation is wholly responsible.