- Inserted additional check for equality types in check_mode_clause that
avoids ill-typed code to be generated.
- Mode inference algorithm now outputs additional diagnostic messages.
consts last :: 'a list => 'a
recdef last "measure (%xs. length xs)"
"last [x] = x"
"last (x#y#zs) = last (y#zs)"