Write a Clafer FM Parser

[thi4go]

This module will be a parser for clafer's FM representation to our haskell data structures.

Reference: http://www.clafer.org/p/examples.html