normalizeToSort: simplify invocation

Remove the duplication among callers. Next step: rename it.
examples/neg/lambda.lpts: specify PTS instance

To specify the instance inline, we currently have to make files
executable and add the information in the shebang, waiting for a
solution for #100.
Complain correctly for sortless functions bodies

Fix #107.
Fix #108.