Setting up GitHub CI; refactoring via HLint; pruning via Weeder

Author: recursion-ninja

.github/actions/spelling/advice.md

@@ -0,0 +1,10 @@
+<details>
+<summary>
+:pencil2: Contributor please read this
+</summary>
+
+* You can probably just add items into `.github/actions/spell-check/expect/expect.txt`.
+
+* If you need to use a specific token in one place and it shouldn't generally be used, you can add an item in `.github/actions/spell-check/patterns.txt`.
+
+</details>

.github/actions/spelling/allow/Domain-Terms.txt

@@ -0,0 +1,77 @@
+Abadi
+abbreviations
+AEAD
+ASNI
+bvs
+chall
+dna
+Encodable
+IETF
+iupac
+LTL
+KEM
+TreeKEM
+PFS
+PS
+PSU
+PCS
+mls
+MLS
+Neeleman
+newick
+Newick
+pandoc
+promela
+QTT
+Ratcheting
+regapped
+scm
+SCM
+SGM
+SSL
+TLS
+tcm
+TCM
+TODO
+Ungap
+ungapped
+uvec
+Wunch
+CGKA
+chall
+init
+upd
+rmv
+proc
+del
+SGM
+LTL
+MLS
+FS
+FSU
+PCS
+CGKA
+IETF
+ITM
+LBBT
+Backmatter
+Frontmatter
+Gameplay
+Erilia
+knowledgebase
+AMNH
+Bioinformatics
+BMC
+Cladistics
+DOI
+DSL
+FASTC
+GPA
+Subash
+ShareAlike
+Emph
+Szamotulski
+ukkonen
+rna
+Rna
+RNA

.github/actions/spelling/allow/Haskell.txt

@@ -0,0 +1,130 @@
+Abitrary
+aeson
+anyclass
+assocs
+Bifoldable
+bifoldr
+Bifunctor
+bimap
+Bitraversable
+bitraverse
+bgroup
+bytestring
+CBool
+CChar
+CInt
+coarbitrary
+compat
+coseries
+Coseries
+CPtrdiff
+CShort
+CSig
+CSize
+CWchar
+deepseq
+dlist
+Exts
+elemseq
+fdicts
+fmap
+fmax
+fno
+foldl
+Foldl
+foldr
+Foldr
+forall
+frac
+fsimpl
+fspec
+fst
+funfolding
+fwarn
+fwrite
+gcc
+ghc
+GHC
+ghci
+ghcup
+gmp
+GMP
+hackage
+Hackage
+haskell
+Haskell
+hiedir
+HLINT
+hpc
+html
+hunit
+HUnit
+idx
+impl
+infixr
+INLINABLE
+lhs
+libiserv
+los
+mappend
+mathcal
+mconcat
+mempty
+metadata
+Monotonic
+MonotonicR
+mtl
+newtype
+Newtype
+newtyped
+Newtyped
+newtypes
+Newtypes
+NOINLINE
+oadjust
+oall
+oany
+oelem
+ofold
+ofoldl
+ofoldr
+oindex
+olength
+olookup
+omap
+Omap
+onot
+onull
+oreplace
+oto
+otraverse
+ozip
+pfail
+Ptr
+Punc
+quickcheck
+RankNTypes
+rhs
+rnf
+rtsopts
+sconcat
+semigroups
+showb
+smallcheck
+snd
+snoc
+succ
+svg
+textshow
+typeclass
+typeclasses
+uncons
+uncurry
+unfoldr
+unlines
+unnary
+unwords
+Werror
+Weverything
+Wno
+