diff --git a/.aspell.en.pws b/.aspell.en.pws
index 0feb3f6..673bf72 100644
--- a/.aspell.en.pws
+++ b/.aspell.en.pws
@@ -1,8 +1,17 @@
-personal_ws-1.1 en 0 utf-8
 adjoint
 antisymmetric
+applicative
+arity
+automata
+axiomatized
+bijection
+bijection
+bijectively
 bisimilar
 bisimilarity
+bisimulation
+bisimulations
+bismilarity
 Borel
 coalgebra
 coalgebraic
@@ -10,52 +19,102 @@ coalgebras
 cocomplete
 cocone
 codensity
+codiagonal
 codirected
+codomain
+coequalizer
+coequalizers
+coequalizes
+coinduction
 colimit
+combinator
+combinators
+combinatory
+composable
+compositional
+compositionality
+contravariant
+copairing
+copoint
 coproducts
 coreflection
 coreflective
 coreflector
 coreflects
+cospan
+cospans
+difunctional
+dinatural
+dinaturality
 directedness
+effectful
+Elgot
 embeddings
 endofunction
 endofunctor
+endofunctors
+endorelation
+endorelations
+Esik
+factorizations
 fiber
+fibers
 fibration
 fibred
 finitary
 fixpoint
+functorial
+functoriality
 functors
 homomorphism
 homomorphisms
+hybridness
 idempotence
 iff
 inequivalent
 infima
 infimum
 initiality
+injective
 intuitionistic
+invertible
 isometry
 Kantorovich
+Kleisli
 Knaster
+Kozen
 Kripke
 Lawvere
 liftings
 logics
+Moggi
+monads
+monic
+monocone
 monoid
+monoids
+monomorphism
 monomorphisms
 monotonicity
 morphism
 morphisms
 natively
+naturality
+neighbourhood
 nonexpansive
+nonstrict
+nontermination
 nullary
 paraconsistent
 parametrize
 parametrized
+personal_ws-1.1 en 0 utf-8
+pointful
 pointwise
+postcompose
+postcomposition
 powerset
+precomposed
 preimages
 preorder
 preordered
@@ -67,60 +126,24 @@ quantale
 quantales
 quantalic
 quantatitive
+refinable
+representable
+semilattices
+semiring
+statefullness
 subfunctor
 subintervals
 subobject
 subspaces
+summand
 suprema
 supremum
+surjections
 surjective
 symmetrization
+throughout
 ultrametric
 ultrametrics
 unary
-Yoneda
-automata
-axiomatized
-codiagonal
-copairing
-effectful
-Elgot
-endofunctors
-Esik
-hybridness
-Kozen
-Moggi
-monads
-monoids
-naturality
-nonstrict
-nontermination
-semilattices
-semiring
-statefullness
-applicative
-arity
-bijectively
-bisimulation
-bismilarity
-coequalizer
-coequalizers
-coequalizes
-coinduction
-combinator
-combinators
-combinatory
-compositional
-compositionality
-contravariant
-copoint
-dinatural
-dinaturality
-functoriality
-Kleisli
-monic
-postcompose
-postcomposition
-precomposed
-summand
 untyped
+Yoneda