pub fn computable_function_ty() -> Expr
ComputableFunction: a (partial) function ℕ → ℕ computed by a Turing machine. ComputableFunction : Type