lynn

        da	illocution: assertive illocution
        ji	predicate: ‘me’; ___ is me / the speaker.
        bu	predicate: ‘not’; ___ is not the case / is false; ___ does not satisfy property ___.
        mi	predicatizer: ‘those.named’; turns following phrase X into predicate: ___ is/are the one(s) called X.
       moq	illocution: ‘?’; interrogative illocution
        ka	illocution: ‘hereby’; performative illocution
        bi	particle: ‘:’; terminates prenex
       rai	predicate: ‘something’; ___ is something.
       suq	predicate: ___ is you / the listener.
        sa	quantifier: ‘some’; existential quantifier

lynn

import Data.Map(Map, fromList, lookup, union)
import Control.Monad(msum)

fromMay d = (!!0) . foldr (:) [d]

mapIns :: (Ord k) => k -> a -> Map k a -> Map k a
mapIns k a = union (fromList [(k, a)])

-- | A TM to add 1 to a binary natural.
incr :: (Int, [Int], [(Int, Int, Char, Char, Int)])