diff --git a/grammar-initial.ebnf b/grammar-initial.ebnf
index 36a5bf6..103b0f2 100644
--- a/grammar-initial.ebnf
+++ b/grammar-initial.ebnf
@@ -1,18 +1,12 @@
 <program>             ::= { DeclarationStart <declaration> }
 
-<declaration>         ::= Type Symbol Assign <variant_decl> { VBar <variant_decl> }
-                        | Symbol Colon <full_type> DeclarationStart Symbol { Symbol } Assign <expr>
+<declaration>         ::= Symbol Colon <expr> DeclarationStart Symbol { Symbol } Assign <expr>
 <variant_declaration> ::= Symbol { <grouped_type> }
 
-<full_type>           ::= <tight_type> [ Comma [ <additional_type> ] [ Aro <full_type> ] ]
-<additional_type>     ::= <tight_type> [ Comma [ <additional_type> ] ]
-<tight_type>          ::= OpenParen <full_type> CloseParen
-                       |  Symbol  [ OpenSquareBracket <domain> CloseSquareBracket ]
-<domain>              ::= <expr> [ Comma [ <domain> ] ]
-
 <expr>        ::= If <expr> <ifblock>
                |  <let> { <let> } In <expr>
                |  <infix_expr>
+               |  Type <expr>
 <tightexpr>   ::= Literal
 			   |  Symbol
                |  OpenParen <expr> CloseParen