crisp-typeck 1.7.3

HM-style type inference and constraint solving (spec §3.4)
Documentation

HM-style type inference and constraint solving (spec §3.4).