Fleshes out write_expr and write_expr_list