added some definitions about forms and the new name for the theory

glossary.tex

@@ -4,7 +4,7 @@
 \newabbreviation{lcg}{LCG}{Linear Categorial Grammar}
 \newabbreviation{coc}{CC}{Calculus of Inductive Constructions}
 \newabbreviation{hol}{HOL}{Higher Order Logic}
-\newabbreviation{stc}{MWXM}{MWXM}
+\newabbreviation{stc}{FFM}{Form First Morphology}
 \newabbreviation{ibm}{IBM}{Information-Based Morphology}
 \newabbreviation{pfm}{PFM}{Paradigm Function Morphology}
 \newabbreviation{plt}{PLT}{Paradigm Linking Theory}
@@ -15,6 +15,33 @@
 \newabbreviation{hpsg}{HPSG}{Head Driven Phrase Structure Grammar}
 \newabbreviation{hsm}{HSM}{hierarchical finite-state machine}
 
+\newglossaryentry{morph}{name={morph}, description={%
+    A morph could be thought of as the form component of a morpheme
+    without a sememe or meaning. It is not an exponent because it does
+    not realize a meaning. It is a unit of phonology that within the
+    context of a word-form contributes to the interpretation of the
+    word-form's possible meanings. }}
+
+\newglossaryentry{form}{name={form}, description={%
+    A form is essentially a phonological form. More precisely, here it
+    is an abstraction with an interpretation within an unknown theory
+    of phonology. For instance, if `a' is a symbol used in a form,
+    this may be interpreted as a phoneme. It may be the case that
+    morphophonology is captured in the notation such that `s' could be
+    used for the English plural/genitive/third person morph, which is
+    predictably [s], [z] or [ɪz]. This theory is non-committal as to
+    the ontological status of what these symbols represent but one
+    should refer to \citet{hockett1954two}, where these are seen as
+    notations for the purposes of concise description, rather than
+    notations for underlying forms in a mental grammar. In particular,
+    these should not be seen as an endorsement of the underlying form
+    concept. }}
+
+\newglossaryentry{wordform}{name={word-form}, description={%
+    A word-form is a form that corresponds to a freely occurring
+    syntactic element. Note that this remains an informal descriptive
+    term. }}
+
 \newglossaryentry{allomorphy}{name={allomorphy}, description={%
     The general term given to the phenomenon where two lexemes are in
     overlapping syntactic distributions but exhibit complementary