Merge Stable Cadence branch into master

.github/workflows/downstream.yml

@@ -28,6 +28,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: 'onflow/flow-go'
+          ref: ${{ github.base_ref == 'feature/stable-cadence' && 'feature/stable-cadence' || 'master' }}
 
       - name: Setup Go
         uses: actions/setup-go@v3
@@ -55,6 +56,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: 'onflow/flow-emulator'
+          ref: ${{ github.base_ref == 'feature/stable-cadence' && 'feature/stable-cadence' || 'master' }}
 
       - name: Setup Go
         uses: actions/setup-go@v3

ROADMAP.md

@@ -79,11 +79,6 @@ listed in no particular order.
 
   Cadence should provide a way to define type aliases.
 
-  For example, if a contract interface might declare a type requirement `NFT`,
-  then all concrete conforming types must provide a concrete type `NFT`.
-
-  However, it would be nice to give the type an additional, more useful name.
-
 - `Word128` and `Word256` types
 
   Cadence should provide `Word128` and `Word256` types, just like it provides `UInt128` and `UInt256`

docs/cadence.ebnf

@@ -197,6 +197,7 @@ fullType
     : ( Auth? Ampersand (* followed by no whitespace *) )?
       innerType
       ( (* no whitespace *) Optional)*
+    | '(' fullType ')'
     ;
 
 
@@ -223,10 +224,10 @@ nominalType
     ;
 
 functionType
-    : '('
-        '(' ( typeAnnotation ( ',' typeAnnotation )* )? ')'
-        ':' typeAnnotation
+    : Fun '(' 
+        ( typeAnnotation ( ',' typeAnnotation )* )?
       ')'
+      ( ':' typeAnnotation )?
     ;
 
 variableSizedType