pub fn infer(cx: &Ctx, e: &Rc<Expr>) -> Ty
Infer an expression’s type (§4), reporting findings through the context.