Remove rewrite rule for List.++