Reorganize README

README.md

@@ -5,8 +5,6 @@
 Transformation for view patterns in OCaml.
 _Attempts to_ imitate [Haskell view patterns](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/view_patterns.html).
 
-See [`example/`](example/) for example usage.
-
 
 ## Usage
 In dune:
@@ -18,6 +16,8 @@ In dune:
 Use `[%view? pat when exp]` as a pattern to apply `exp` to whatever the pattern is matching and match the result of the `exp` application against `pat`.
 Analogous to the Haskell view pattern `exp -> pat`.
 
+See [`example/`](example/) for example usage.
+
 Supported in:
 * `match ... with ...` cases,
 * `function ...` cases,
@@ -26,7 +26,8 @@ Supported in:
 * `try ... with ...` cases,
 * nested inside the `pat` and `exp` parts of a view pattern itself.
 
-_A view pattern disables `redundant-case` and `partial-match` warnings for the corresponding `match`/`function`._
+### Caveats
+A view pattern disables `redundant-case` and `partial-match` warnings for the corresponding `match`/`function`.
 
 Currently unsupported in:
-- [ ] `let ...` definition left-hand sides (at top level or in modules).
+- `let ...` definition left-hand sides (at top level or in modules).