rename tests -> examples

_CoqProject

@@ -45,11 +45,11 @@ theories/typing/fixpoint.v
 theories/typing/type_sum.v
 theories/typing/typing.v
 theories/typing/soundness.v
-theories/typing/tests/get_x.v
-theories/typing/tests/rebor.v
-theories/typing/tests/unbox.v
-theories/typing/tests/init_prod.v
-theories/typing/tests/option_as_mut.v
-theories/typing/tests/unwrap_or.v
-theories/typing/tests/lazy_lft.v
+theories/typing/examples/get_x.v
+theories/typing/examples/rebor.v
+theories/typing/examples/unbox.v
+theories/typing/examples/init_prod.v
+theories/typing/examples/option_as_mut.v
+theories/typing/examples/unwrap_or.v
+theories/typing/examples/lazy_lft.v
 theories/typing/unsafe/cell.v