alder-constrain v0.1.0 — Responsible for building the set of constraints that are used during type inference of a program, and for gathering context needed for pleasant error messages when a type erro