* src/lexp.ml (lexp): Add return type to `Case`

(_lexp_to_str):
* src/typecheck.ml (unsusp, check):
* src/lparse.ml (_lexp_p_infer):
* src/eval.ml (_eval): Adjust accordingly.