Function sexp_to_val 

pub fn sexp_to_val(sexp: &Sexp) -> Val

Convert a read s-expression directly into a runtime value — lists become Tup chains, no lowering, no name resolution. This is how the read and read-file primitives hand parsed input to the evaluator as data.