Included the feasibility proof obligation generator to the latex documentation
In machine, changed the topological traversal of the refinement graph to allow proper propation of model elements all the way down.
Removed deadcode, useless imports and paying close attention to incomplete patterns.
changed the syntax of variable, constant, index and dummy declarations to make them into commands instead of environments.