package asli

Resugaring transform

The typechecker desugars infix syntax to make it absolutely explicit what it means. This is good for tools but bad for humans.

This transformation re-introduces the infix syntax - the intention being that you might use this in error messages. It also deletes type parameters - so this is (more or less) the reverse of typechecking.