pub fn subst_term_ctype(t: Term, x: &String, ct: CType) -> CType
Substitute terms into computation types