This module will be a parser for clafer's FM representation to our haskell data structures. Reference: [http://www.clafer.org/p/examples.html](http://www.clafer.org/p/examples.html)