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.