crisp-typeck 1.5.2

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