Add more examples and fix PL lingo

Author: BinderDavid

message-index/messages/GHC-44432/example1/index.md

@@ -5,4 +5,4 @@ severity: error
 introduced: 9.6.1
 ---
 
-If a toplevel type signature is given, then there also needs to be an accompanying binding.
+If a type signature is given for a name, then that name also needs to be defined.

message-index/messages/GHC-44432/index.md

@@ -0,0 +1,9 @@
+module MissingBinding where
+
+fortytwo :: Integer
+fortytwo =
+  let
+    two :: Integer
+    two = 2
+  in 
+    40 + two

message-index/messages/GHC-44432/let-binding/after/MissingBinding.hs

@@ -0,0 +1,8 @@
+module MissingBinding where
+
+fortytwo :: Integer
+fortytwo =
+  let
+    two :: Integer
+  in 
+    40 + two

message-index/messages/GHC-44432/let-binding/before/MissingBinding.hs

@@ -0,0 +1,18 @@
+---
+title: Type signature lacks an accompanying binding
+---
+
+If a type signature is given for a name in a local let expression, then the name also needs to be defined.
+
+In this example, a type signature was given for the name `two` in a let expression, but no definition was specified.
+This error can be fixed by adding a definition which accompanies the type signature.
+
+## Error Message
+
+```
+MissingBinding.hs:6:5: error: [GHC-44432]
+    The type signature for ‘two’ lacks an accompanying binding
+  |
+6 |     two :: Integer
+  |     ^^^
+```

message-index/messages/GHC-44432/let-binding/index.md

@@ -0,0 +1,18 @@
+---
+title: Type signature lacks an accompanying binding
+---
+
+If a type signature is given for a name in a Haskell module, then the name also needs to be defined.
+
+In this example, a type signature was given for the name `someBoolean` in a Haskell module, but no definition was specified.
+This error can be fixed by adding a definition which accompanies the type signature.
+
+## Error Message
+
+```
+MissingBinding.hs:3:1: error: [GHC-44432]
+    The type signature for ‘someBoolean’ lacks an accompanying binding
+  |
+3 | someBoolean :: Bool
+  | ^^^^^^^^^^^
+```

message-index/messages/GHC-44432/example1/after/MissingBinding.hs renamed to message-index/messages/GHC-44432/toplevel/after/MissingBinding.hs

@@ -0,0 +1,8 @@
+module MissingBinding where
+
+import Numeric.Natural
+
+factorial :: Natural -> Natural
+factorial n
+  | n == 0 = 1
+  | otherwise = n * factorial (n - 1)

message-index/messages/GHC-44432/example1/before/MissingBinding.hs renamed to message-index/messages/GHC-44432/toplevel/before/MissingBinding.hs

@@ -0,0 +1,8 @@
+module MissingBinding where
+
+import Numeric.Natural
+
+factorial :: Natural -> Natural
+fatcorial n
+  | n == 0 = 1
+  | otherwise = n * factorial (n - 1)