Moved RefinementMessage test

Moved and refactored the RefinmentMessage test to be a very simple Refinement checker.

Author: cheestree

liquidjava-example/src/main/java/testSuite/CorrectEnumRefinement.java

@@ -0,0 +1,15 @@
+package testSuite;
+
+import liquidjava.specification.Refinement;
+
+class CorrectEnumRefinement {
+    enum Lever {
+        Up, Down, Middle
+    }
+
+    public static void main(String[] args) {
+        @Refinement("_==Lever.Up || _==Lever.Down")
+        Lever lever = Lever.Up;
+        System.out.println(lever);
+    }
+}