Fix typo in panic message
Binding things matched by an unboxed pattern synonym should require a bang
Tests
If pattern synonym is bidirectional and its type is some unboxed type T#,
generate a worker function of type Void# -> T#, and redirect the wrapper
(via a compulsory unfolding) to the worker.