Correct type grammar in dev docs
@@ -33,7 +33,7 @@ string = (* any sequence of unicode code points that does not contain "::" *) ;
qualified type name = [ parent type "$" ] type ;
parent type = type ;
-type = package ":" [ module ":" ] type name ;
+type = package ":" [ module ] ":" type name ;
package = identifier ;
module = identifier ;
type name = identifier ;
