Comments only, on inert_fsks and inert_no_eqs

I wrote these when studying Trac #9090
In splitHsFunType, take account of prefix (->)

This fixes Trac #9096
Improve desugaring of lazy pattern match

This patch implements a simpler, and nicer, desugaring for
lazy pattern matching, fixing Trac #9098