Adventures in Type Theory 2 — Coming in Clutch

Clutch semantics and continuation-passing style in type-theoretic SSA