Merge pull request #7984 from unkarjedy/patch-2

replace VarDcl with ValDcl

Author: OlivierBlanvillain

docs/docs/internals/syntax.md

@@ -348,7 +348,7 @@ Export            ::=  ‘export’ [‘given’] ImportExpr {‘,’ ImportExpr
 
 ### Declarations and Definitions
 ```ebnf
-RefineDcl         ::=  ‘val’ VarDcl
+RefineDcl         ::=  ‘val’ ValDcl
                     |  ‘def’ DefDcl
                     |  ‘type’ {nl} TypeDcl
                     |  INT