oceani: make "Base Types" a subsection of "Types"

I don't think it deserved to stand alone.

Signed-off-by: NeilBrown <neil@brown.name>

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index f3bf6a1456981f5ed491d884326aa8829aa27803..430c29f2c8c23a58ec75f670083af281ae997040 100644 (file)
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -557,7 +557,7 @@ which are often passed around by value.
                free(t);
        }
 
-### Base Types
+#### Base Types
 
 Values of the base types can be numbers, which we represent as
 multi-precision fractions, strings, Booleans and labels.  When