An experimental typing of Lojban grammar, in Haskell