Desugared.Linting
val lint_program : Ast.program -> unit
Performs various lints on the program, displaying warnings to help the developer improve the code.