macros are actually in a decently good state

Author: andrew-johnson-4

STDLIB/default-rules.lm

@@ -7,11 +7,14 @@ macro ('match t ps) (tail(
    (match-pats( (uuid term) ps (fail PatternMatchFailure_s) ))
 ));
 
-macro ('match-pats( term ps remainder )) (
+macro ('match-pats( term () remainder )) (
+   remainder
+);
+
+macro ('match-pats( term (ps (lhs rhs)) remainder )) (
    remainder
 );
 
-#macro ('match-pats( term matched return () )) ();
 #macro ('match-pats( term matched return (ps (lhs rhs)) )) (
 #   (match-pats( term matched return ps ))
 #   (if matched () (