Minor edits.

docs/Types.ipynb

@@ -3882,7 +3882,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 123,
+   "execution_count": 120,
    "metadata": {},
    "outputs": [
     {
@@ -3891,7 +3891,7 @@
        "(n1, (n2, (mul, ())))"
       ]
      },
-     "execution_count": 123,
+     "execution_count": 120,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -3902,7 +3902,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 124,
+   "execution_count": 121,
    "metadata": {},
    "outputs": [
     {
@@ -3911,7 +3911,7 @@
        "[(s1, (f1, s1)), (s1, (i1, s1))]"
       ]
      },
-     "execution_count": 124,
+     "execution_count": 121,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4069,7 +4069,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 137,
+   "execution_count": 122,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -4093,7 +4093,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 173,
+   "execution_count": 123,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -4109,7 +4109,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 174,
+   "execution_count": 124,
    "metadata": {},
    "outputs": [
     {
@@ -4129,7 +4129,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 126,
+   "execution_count": 125,
    "metadata": {},
    "outputs": [],
    "source": [
@@ -4152,7 +4152,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 166,
+   "execution_count": 126,
    "metadata": {},
    "outputs": [
     {
@@ -4172,7 +4172,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 167,
+   "execution_count": 127,
    "metadata": {},
    "outputs": [
     {
@@ -4181,7 +4181,7 @@
        "(0, (1, (2, ())))"
       ]
      },
-     "execution_count": 167,
+     "execution_count": 127,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4193,7 +4193,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 168,
+   "execution_count": 128,
    "metadata": {},
    "outputs": [
     {
@@ -4202,7 +4202,7 @@
        "(a1, (a2, (a3, s1)))"
       ]
      },
-     "execution_count": 168,
+     "execution_count": 128,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4213,7 +4213,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 171,
+   "execution_count": 129,
    "metadata": {},
    "outputs": [
     {
@@ -4222,7 +4222,7 @@
        "()"
       ]
      },
-     "execution_count": 171,
+     "execution_count": 129,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4255,7 +4255,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 161,
+   "execution_count": 130,
    "metadata": {},
    "outputs": [
     {
@@ -4264,7 +4264,7 @@
        "(0, (1, (2, ((3, (4, ())), ()))))"
       ]
      },
-     "execution_count": 161,
+     "execution_count": 130,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4276,16 +4276,16 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 162,
+   "execution_count": 131,
    "metadata": {},
    "outputs": [
     {
      "data": {
       "text/plain": [
-       "(a1, (a2, (a3, ((a4, (a5, s1)), s2))))"
+       "(a1, (a2, (a3, s1)))"
       ]
      },
-     "execution_count": 162,
+     "execution_count": 131,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4296,7 +4296,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 163,
+   "execution_count": 132,
    "metadata": {},
    "outputs": [
     {
@@ -4305,7 +4305,7 @@
        "()"
       ]
      },
-     "execution_count": 163,
+     "execution_count": 132,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4317,7 +4317,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 164,
+   "execution_count": 133,
    "metadata": {},
    "outputs": [
     {
@@ -4326,7 +4326,7 @@
        "()"
       ]
      },
-     "execution_count": 164,
+     "execution_count": 133,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -4338,9 +4338,21 @@
   },
   {
    "cell_type": "code",
-   "execution_count": null,
+   "execution_count": 134,
    "metadata": {},
-   "outputs": [],
+   "outputs": [
+    {
+     "ename": "IndexError",
+     "evalue": "list index out of range",
+     "output_type": "error",
+     "traceback": [
+      "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
+      "\u001b[0;31mIndexError\u001b[0m                                Traceback (most recent call last)",
+      "\u001b[0;32m<ipython-input-134-58a8e44e9cba>\u001b[0m in \u001b[0;36m<module>\u001b[0;34m()\u001b[0m\n\u001b[0;32m----> 1\u001b[0;31m \u001b[0mF\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;36m1\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;36m0\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m",
+      "\u001b[0;31mIndexError\u001b[0m: list index out of range"
+     ]
+    }
+   ],
    "source": [
     "F[1][0]"
    ]
@@ -4356,20 +4368,9 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 156,
+   "execution_count": null,
    "metadata": {},
-   "outputs": [
-    {
-     "data": {
-      "text/plain": [
-       "True"
-      ]
-     },
-     "execution_count": 156,
-     "metadata": {},
-     "output_type": "execute_result"
-    }
-   ],
+   "outputs": [],
    "source": [
     "A[1] >= 23"
    ]