Update Refinement Aliases Section

Author: rcosta358

reference/refinement-aliases.md

@@ -6,33 +6,20 @@ nav_order: 2
 
 # Refinement Aliases
 
-When the same refinement appears repeatedly, define it once with `@RefinementAlias` and reuse it inside other refinements.
+When the same refinement appears repeatedly, we can define it once with `@RefinementAlias` and reuse it inside other refinements.
 
 ```java
-import liquidjava.specification.Refinement;
-import liquidjava.specification.RefinementAlias;
+import liquidjava.specification.*;
 
 @RefinementAlias("Percentage(int v) { 0 <= v && v <= 100 }")
 public class MyClass {
 
     @Refinement("Percentage(x)")
     int x = 25;
+
+    @Refinement("Percentage(y)")
+    int y = 75;
 }
 ```
 
-Aliases help by:
-
-- reducing repeated predicate text
-- making refinements easier to read
-- giving common constraints a domain-specific name
-
-## When to Use Them
-
-Aliases are a good fit for constraints such as:
-
-- percentages
-- bounded indexes
-- value classes such as positive or non-negative integers
-- project-wide concepts that appear in many files
-
-For object protocols, move on to [State Refinements]({{ '/reference/state-refinements/' | relative_url }}).
+This helps keep contracts shorter and easier to maintain by giving common constraints a domain-specific name.