Merge BlockstreamResearch#67: Hotfix docs

ba993b8 doc: Rename Simphony -> Simfony (Christian Lewe)
5d65ff4 doc: Remove outdated syntax (Christian Lewe)

Pull request description:

  Remove misleading documentation and remove the old name "Simphony" from the codebase.

ACKs for top commit:
  apoelstra:
    ACK ba993b8

Tree-SHA512: b817f34d110817646667a3479bc76c06a7484fdb4c03806055f9e97445c25b744601de36f01e8c4248d02ed8ef7029dda970aff3bad3751a9b650968f9220316

Author: uncomputable

README.md

@@ -18,8 +18,6 @@ jet_verify(jet_eq_32(b, 7));
 
 Take a look at the [example programs](https://github.com/BlockstreamResearch/simfony/tree/master/example_progs).
 
-Learn about [Simfony's syntax](https://github.com/BlockstreamResearch/simfony/tree/master/doc/syntax.md). There is [experimental syntax](https://github.com/BlockstreamResearch/simfony/blob/master/doc/experimental-syntax.md) that is not supported by master yet.
-
 ## MSRV
 
 This crate should compile with any feature combination on **Rust 1.61.0** or higher.

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.