<Exp_Named_Subst>::= "{" [ [ [<Id> | <Varuri> ] ":=" <Expression> ";" ]* [ [<Id> | <Varuri> ] ":=" <Expression> ] ]? "}"
-<Alias>::= "alias" <Id> <Uri> +
<Alias>::= "alias" "id" <Id> = <Uri>
<Genid>::= [ <Id> | <Varuri> | <Indtyuri> | <Indconuri> ] <Exp_Named_Subst>
@@ -35,4 +35,4 @@
::= "Prop" | "Set" | "Type" | "?" | <Uri> | <Id>