pub fn evaluate(ctx: Context, expr: &LocExpr) -> Result<Val>