doc: Rename Simphony -> Simfony

Author: uncomputable

doc/context.md

@@ -6,15 +6,15 @@ A context Γ maps variable names to Simplicity types:
 
 We write Γ(`v`) = A to denote that variable `v` has type A in context Γ.
 
-We handle free variables inside Simphony expressions via contexts.
+We handle free variables inside Simfony expressions via contexts.
 
 If all free variables are defined in a context, then the context assigns a type to the expression.
 
 We write Γ ⊩ `a`: A to denote that expression `a` has type A in context Γ.
 
 Note that contexts handle only the **target type** of an expression!
 
-Source types are handled by environments and the translation of Simphony to Simplicity.
+Source types are handled by environments and the translation of Simfony to Simplicity.
 
 We write Γ ⊎ Δ to denote the **disjoint union** of Γ and Δ.
 

doc/environment.md

@@ -12,13 +12,13 @@ All expressions inside an environment share the same source type A. We say the e
 ]
 ```
 
-We use environments to translate variables inside Simphony expressions to Simplicity.
+We use environments to translate variables inside Simfony expressions to Simplicity.
 
 The environment tells us the Simplicity expression that returns the value of each variable.
 
-We translate a Simphony program "top to bottom". Each time a variable is defined, we update the environment to reflect this change.
+We translate a Simfony program "top to bottom". Each time a variable is defined, we update the environment to reflect this change.
 
-During the translation, we can ignore the source type of Simplicity expressions (translated Simphony expressions) entirely. We can focus on producing a Simplicity value of the expected target type. Environments ensure that we get input values for each variable that is in scope.
+During the translation, we can ignore the source type of Simplicity expressions (translated Simfony expressions) entirely. We can focus on producing a Simplicity value of the expected target type. Environments ensure that we get input values for each variable that is in scope.
 
 Target types are handled by contexts.
 
@@ -31,7 +31,7 @@ Ctx(Ξ)(`x`) = B if Ξ(`x`) = a: A → B
 
 Patterns occur in let statements `let p := s`.
 
-Pattern `p` binds the output of Simphony expression `s` to variables.
+Pattern `p` binds the output of Simfony expression `s` to variables.
 
 As we translate `s` to Simplicity, we need an environment that maps the variables from `p` to Simplicity expressions.
 

doc/translation.md

@@ -1,10 +1,10 @@
 # Translation
 
-We write ⟦`e`⟧Ξ to denote the translation of Simphony expression `e` using environment Ξ from A.
+We write ⟦`e`⟧Ξ to denote the translation of Simfony expression `e` using environment Ξ from A.
 
 The translation produces a Simplicity expression with source type A.
 
-The target type depends on the Simphony expression `e`.
+The target type depends on the Simfony expression `e`.
 
 ## Unit literal