fst, snd, head, tail desugaring
reformatted error message
help text added