Added lift macro that rewrites s-expr to lift also nested expressions