Corrected bug such that usually only the first equation of a function definition was transformed.
Added missing span when transforming an empty list.
Corrected default import of Prelude. If already imported somehow, no default import.
Corrected transformation of application of known-arity of trusted function.
Now transform right section using flip instead of lambda, as in old version. Produces far shorter trace.