Fix several typos

opetopic-play/app/views/docs/complexes.scala.html

@@ -123,7 +123,7 @@ <h3 class="ui dividing header">Atomic Diagrams</h3>
 	  edge tree.
 	</div>
 	<div class="item">
-	  The box and edge trees are each <em>rooted</em>
+	  The box and edge trees are each <em>rooted</em>.
 	</div>
       </div>
     </div>

opetopic-play/app/views/docs/eqvs.scala.html

@@ -113,7 +113,7 @@ <h3 class="ui dividing header">Proof: ⇒</h3>
     @svg("eqvs/eta-tu.svg")
 
     <p>
-      Futhermore, since η is a unary, target universal cell, we conclude
+      Furthermore, since η is a unary, target universal cell, we conclude
       that it is an equivalence by the coinductive hypothesis.
     </p>
 

opetopic-play/app/views/docs/geometry.scala.html

@@ -50,7 +50,7 @@ <h3 class="ui dividing header">Dimension 1</h3>
     <h3 class="ui dividing header">Dimension 2</h3>
 
     <p>
-      Dimension 2 becomes more intersting: we already have infinitely
+      Dimension 2 becomes more interesting: we already have infinitely
       many opetopes of dimension two, one for each natural number
       which counts the number of source arrows.
     </p>

opetopic-play/app/views/docs/opetopes.scala.html

@@ -111,7 +111,7 @@ <h3 class="ui header">Face</h3>
     <p>
       First of all, as you pass your mouse cursor over one of the cells,
       you will notice that a number of lower dimensional cells are highlighted.
-      These are exactly the faces of the face you are pointing at.  Futhermore
+      These are exactly the faces of the face you are pointing at.  Furthermore
       if you click on one of the faces, its opetopic structure will be 
       "extracted" into the bottom region, where you can verify that it also
       is an opetope in the sense defined above.