Function unit_expr 

pub fn unit_expr<'db>(
    ctx: &mut ComputationContext<'db, '_>,
    stable_ptr: ExprPtr<'db>,
) -> ExprId

builds a semantic unit expression. This is not necessarily located in the AST, so it is received as a param.