updated flux spec and nav order (#4452)

content/flux/v0.x/influxdb-versions.md

@@ -4,7 +4,7 @@ description: |
   View what versions of Flux are packaged with each version of InfluxDB.
 menu:
   flux_0_x_ref:
-    weight: 10
+    weight: 13
 ---
 
 View which versions of InfluxDB are packaged with each version of InfluxDB.

content/flux/v0.x/spec/system-built-ins.md

@@ -23,18 +23,19 @@ All such values must have a corresponding builtin statement to declare the exist
 BuiltinStatement = "builtin" identifier ":" TypeExpression .
 TypeExpression   = MonoType ["where" Constraints] .
 
-MonoType = Tvar | Basic | Array | Record | Function .
-Tvar     = "A" … "Z" .
-Basic    = "int" | "uint" | "float" | "string" | "bool" | "time" | "duration" | "bytes" | "regexp" .
-Array    = "[" MonoType "]" .
-Record   = ( "{" [Properties] "}" ) | ( "{" Tvar "with" Properties "}" ) .
-Function = "(" [Parameters] ")" "=>" MonoType .
+MonoType     = Tvar | BasicType | ArrayType | RecordType | FunctionType .
+Tvar         = "A" … "Z" .
+BasicType    = "int" | "uint" | "float" | "string" | "bool" | "time" | "duration" | "bytes" | "regexp" .
+ArrayType    = "[" MonoType "]" .
+RecordType   = ( "{" [RecordTypeProperties] "}" ) | ( "{" Tvar "with" RecordTypeProperties "}" ) .
+FunctionType = "(" [FunctionTypeParameters] ")" "=>" MonoType .
 
-Properties = Property { "," Property } .
-Property   = identifier ":" MonoType .
+RecordTypeProperties = RecordTypeProperty { "," RecordTypeProperty } .
+RecordTypeProperty   = Label ":" MonoType .
+Label = identifier | string_lit
 
-Parameters = Parameter { "," Parameter } .
-Parameter  = [ "<-" | "?" ] identifier ":" MonoType .
+FunctionTypeParameters = FunctionTypeParameter { "," FunctionTypeParameter } .
+FunctionTypeParameter = [ "<-" | "?" ] identifier ":" MonoType .
 
 Constraints = Constraint { "," Constraint } .
 Constraint  = Tvar ":" Kinds .