raise the precedence of typecasting over DOT, ELSE, and IN

src/parser/parser.mly

@@ -80,10 +80,8 @@
 %nonassoc prec_decls
 %nonassoc LOGIC TYPE INDUCTIVE
 
+%nonassoc DOT ELSE IN
 %nonassoc COLON 
-%nonassoc ELSE
-%nonassoc IN
-%nonassoc DOT
 
 %nonassoc prec_named
 %right ARROW LRARROW