use "-" and ";" instead of "_" and "\n" in NQueens

examples/nqueens/NQueensAscii.gf

@@ -4,7 +4,7 @@ lincat Matrix, Vec = Str ;
        ListNat, Sat = {} ;
 
 lin nilV _ _ = "" ;
-    consV _ j k _ _ v = j ++ "X" ++ k ++ "\n" ++ v ;
+    consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ;
 
     matrix _ v = v ;
 

examples/nqueens/NatAscii.gf

@@ -3,8 +3,8 @@ concrete NatAscii of Nat = {
 lincat Nat = Str ;
 
 lin zero   = "" ;
-    succ n = "_" ++ n ;
+    succ n = "-" ++ n ;
 
 lincat NE = {} ;
 
-}
+}