Created an initial version of the Maude-based refinement engine. We can now check for applicable laws via Maude and apply those refinements. Much more work to be done here though.
Added some corrections to Maude output and support for guarded actions to the visitor.
Added a configuration view for Maude. Made the refinement law detail view update with law text.
Added support for processing parametric refinement laws in Maude
The refiner now feeds any meta-variable inputs through the parser first, which ensures they are both valid and can be run through the Maude pretty printer for output.
Added some more cases for the pretty printer
Merge branch 'origin/sdf'