* src/typecheck.ml (check): Handle Susp and Call

* src/subst.ml (substitute): New function.

* src/typecheck.ml: Don't open Util any more.
(unsusp, sort_compose): New functions.
(check): Improve: add Call case, and half of Inductive.