Transfer: added support for disjunctive patterns.

9 files changed, 567 insertions, 484 deletions

diff --git a/src/Transfer/Syntax/Abs.hs b/src/Transfer/Syntax/Abs.hs
index 0817b78d1..20acca269 100644
--- a/src/Transfer/Syntax/Abs.hs
+++ b/src/Transfer/Syntax/Abs.hs
@@ -43,6 +43,7 @@ data Tree :: * -> * where
     ValueDecl :: Ident -> [Pattern] -> Exp -> Tree Decl_
     DeriveDecl :: Ident -> Ident -> Tree Decl_
     ConsDecl :: Ident -> Exp -> Tree ConsDecl_
+    POr :: Pattern -> Pattern -> Tree Pattern_
     PConsTop :: Ident -> Pattern -> [Pattern] -> Tree Pattern_
     PCons :: Ident -> [Pattern] -> Tree Pattern_
     PRec :: [FieldPattern] -> Tree Pattern_
@@ -117,6 +118,7 @@ composOpM f t = case t of
     ValueDecl i patterns exp -> return ValueDecl `ap` f i `ap` mapM f patterns `ap` f exp
     DeriveDecl i0 i1 -> return DeriveDecl `ap` f i0 `ap` f i1
     ConsDecl i exp -> return ConsDecl `ap` f i `ap` f exp
+    POr pattern0 pattern1 -> return POr `ap` f pattern0 `ap` f pattern1
     PConsTop i pattern patterns -> return PConsTop `ap` f i `ap` f pattern `ap` mapM f patterns
     PCons i patterns -> return PCons `ap` f i `ap` mapM f patterns
     PRec fieldpatterns -> return PRec `ap` mapM f fieldpatterns
@@ -170,6 +172,7 @@ composOpFold zero combine f t = case t of
     ValueDecl i patterns exp -> f i `combine` foldr combine zero (map f patterns) `combine` f exp
     DeriveDecl i0 i1 -> f i0 `combine` f i1
     ConsDecl i exp -> f i `combine` f exp
+    POr pattern0 pattern1 -> f pattern0 `combine` f pattern1
     PConsTop i pattern patterns -> f i `combine` f pattern `combine` foldr combine zero (map f patterns)
     PCons i patterns -> f i `combine` foldr combine zero (map f patterns)
     PRec fieldpatterns -> foldr combine zero (map f fieldpatterns)
@@ -223,6 +226,7 @@ instance Show (Tree c) where
     ValueDecl i patterns exp -> opar n . showString "ValueDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . showChar ' ' . showsPrec 1 exp . cpar n
     DeriveDecl i0 i1 -> opar n . showString "DeriveDecl" . showChar ' ' . showsPrec 1 i0 . showChar ' ' . showsPrec 1 i1 . cpar n
     ConsDecl i exp -> opar n . showString "ConsDecl" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 exp . cpar n
+    POr pattern0 pattern1 -> opar n . showString "POr" . showChar ' ' . showsPrec 1 pattern0 . showChar ' ' . showsPrec 1 pattern1 . cpar n
     PConsTop i pattern patterns -> opar n . showString "PConsTop" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 pattern . showChar ' ' . showsPrec 1 patterns . cpar n
     PCons i patterns -> opar n . showString "PCons" . showChar ' ' . showsPrec 1 i . showChar ' ' . showsPrec 1 patterns . cpar n
     PRec fieldpatterns -> opar n . showString "PRec" . showChar ' ' . showsPrec 1 fieldpatterns . cpar n
@@ -288,6 +292,7 @@ johnMajorEq (TypeDecl i exp) (TypeDecl i_ exp_) = i == i_ && exp == exp_
 johnMajorEq (ValueDecl i patterns exp) (ValueDecl i_ patterns_ exp_) = i == i_ && patterns == patterns_ && exp == exp_
 johnMajorEq (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = i0 == i0_ && i1 == i1_
 johnMajorEq (ConsDecl i exp) (ConsDecl i_ exp_) = i == i_ && exp == exp_
+johnMajorEq (POr pattern0 pattern1) (POr pattern0_ pattern1_) = pattern0 == pattern0_ && pattern1 == pattern1_
 johnMajorEq (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = i == i_ && pattern == pattern_ && patterns == patterns_
 johnMajorEq (PCons i patterns) (PCons i_ patterns_) = i == i_ && patterns == patterns_
 johnMajorEq (PRec fieldpatterns) (PRec fieldpatterns_) = fieldpatterns == fieldpatterns_
@@ -352,58 +357,59 @@ instance Ord (Tree c) where
     index (ValueDecl _ _ _) = 4
     index (DeriveDecl _ _) = 5
     index (ConsDecl _ _) = 6
-    index (PConsTop _ _ _) = 7
-    index (PCons _ _) = 8
-    index (PRec _) = 9
-    index (PType ) = 10
-    index (PStr _) = 11
-    index (PInt _) = 12
-    index (PVar _) = 13
-    index (PWild ) = 14
-    index (FieldPattern _ _) = 15
-    index (ELet _ _) = 16
-    index (ECase _ _) = 17
-    index (EIf _ _ _) = 18
-    index (EDo _ _) = 19
-    index (EAbs _ _) = 20
-    index (EPi _ _ _) = 21
-    index (EPiNoVar _ _) = 22
-    index (EBind _ _) = 23
-    index (EBindC _ _) = 24
-    index (EOr _ _) = 25
-    index (EAnd _ _) = 26
-    index (EEq _ _) = 27
-    index (ENe _ _) = 28
-    index (ELt _ _) = 29
-    index (ELe _ _) = 30
-    index (EGt _ _) = 31
-    index (EGe _ _) = 32
-    index (EListCons _ _) = 33
-    index (EAdd _ _) = 34
-    index (ESub _ _) = 35
-    index (EMul _ _) = 36
-    index (EDiv _ _) = 37
-    index (EMod _ _) = 38
-    index (ENeg _) = 39
-    index (EApp _ _) = 40
-    index (EProj _ _) = 41
-    index (ERecType _) = 42
-    index (ERec _) = 43
-    index (EList _) = 44
-    index (EVar _) = 45
-    index (EType ) = 46
-    index (EStr _) = 47
-    index (EInt _) = 48
-    index (EMeta ) = 49
-    index (LetDef _ _ _) = 50
-    index (Case _ _) = 51
-    index (BindVar _ _) = 52
-    index (BindNoVar _) = 53
-    index (VVar _) = 54
-    index (VWild ) = 55
-    index (FieldType _ _) = 56
-    index (FieldValue _ _) = 57
-    index (Ident _) = 58
+    index (POr _ _) = 7
+    index (PConsTop _ _ _) = 8
+    index (PCons _ _) = 9
+    index (PRec _) = 10
+    index (PType ) = 11
+    index (PStr _) = 12
+    index (PInt _) = 13
+    index (PVar _) = 14
+    index (PWild ) = 15
+    index (FieldPattern _ _) = 16
+    index (ELet _ _) = 17
+    index (ECase _ _) = 18
+    index (EIf _ _ _) = 19
+    index (EDo _ _) = 20
+    index (EAbs _ _) = 21
+    index (EPi _ _ _) = 22
+    index (EPiNoVar _ _) = 23
+    index (EBind _ _) = 24
+    index (EBindC _ _) = 25
+    index (EOr _ _) = 26
+    index (EAnd _ _) = 27
+    index (EEq _ _) = 28
+    index (ENe _ _) = 29
+    index (ELt _ _) = 30
+    index (ELe _ _) = 31
+    index (EGt _ _) = 32
+    index (EGe _ _) = 33
+    index (EListCons _ _) = 34
+    index (EAdd _ _) = 35
+    index (ESub _ _) = 36
+    index (EMul _ _) = 37
+    index (EDiv _ _) = 38
+    index (EMod _ _) = 39
+    index (ENeg _) = 40
+    index (EApp _ _) = 41
+    index (EProj _ _) = 42
+    index (ERecType _) = 43
+    index (ERec _) = 44
+    index (EList _) = 45
+    index (EVar _) = 46
+    index (EType ) = 47
+    index (EStr _) = 48
+    index (EInt _) = 49
+    index (EMeta ) = 50
+    index (LetDef _ _ _) = 51
+    index (Case _ _) = 52
+    index (BindVar _ _) = 53
+    index (BindNoVar _) = 54
+    index (VVar _) = 55
+    index (VWild ) = 56
+    index (FieldType _ _) = 57
+    index (FieldValue _ _) = 58
+    index (Ident _) = 59
     compareSame (Module imports decls) (Module imports_ decls_) = mappend (compare imports imports_) (compare decls decls_)
     compareSame (Import i) (Import i_) = compare i i_
     compareSame (DataDecl i exp consdecls) (DataDecl i_ exp_ consdecls_) = mappend (compare i i_) (mappend (compare exp exp_) (compare consdecls consdecls_))
@@ -411,6 +417,7 @@ instance Ord (Tree c) where
     compareSame (ValueDecl i patterns exp) (ValueDecl i_ patterns_ exp_) = mappend (compare i i_) (mappend (compare patterns patterns_) (compare exp exp_))
     compareSame (DeriveDecl i0 i1) (DeriveDecl i0_ i1_) = mappend (compare i0 i0_) (compare i1 i1_)
     compareSame (ConsDecl i exp) (ConsDecl i_ exp_) = mappend (compare i i_) (compare exp exp_)
+    compareSame (POr pattern0 pattern1) (POr pattern0_ pattern1_) = mappend (compare pattern0 pattern0_) (compare pattern1 pattern1_)
     compareSame (PConsTop i pattern patterns) (PConsTop i_ pattern_ patterns_) = mappend (compare i i_) (mappend (compare pattern pattern_) (compare patterns patterns_))
     compareSame (PCons i patterns) (PCons i_ patterns_) = mappend (compare i i_) (compare patterns patterns_)
     compareSame (PRec fieldpatterns) (PRec fieldpatterns_) = compare fieldpatterns fieldpatterns_
diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex
index d2a1fd559..781f9c4fb 100644
--- a/src/Transfer/Syntax/Doc.tex
+++ b/src/Transfer/Syntax/Doc.tex
@@ -56,10 +56,10 @@ The symbols used in Syntax are the following: \\
 
 \begin{tabular}{lll}
 {\symb{;}} &{\symb{:}} &{\symb{\{}} \\
-{\symb{\}}} &{\symb{{$=$}}} &{\symb{(}} \\
-{\symb{)}} &{\symb{\_}} &{\symb{{$-$}{$>$}}} \\
-{\symb{{$<$}{$-$}}} &{\symb{$\backslash$}} &{\symb{{$>$}{$>$}{$=$}}} \\
-{\symb{{$>$}{$>$}}} &{\symb{{$|$}{$|$}}} &{\symb{\&\&}} \\
+{\symb{\}}} &{\symb{{$=$}}} &{\symb{{$|$}{$|$}}} \\
+{\symb{(}} &{\symb{)}} &{\symb{\_}} \\
+{\symb{{$-$}{$>$}}} &{\symb{{$<$}{$-$}}} &{\symb{$\backslash$}} \\
+{\symb{{$>$}{$>$}{$=$}}} &{\symb{{$>$}{$>$}}} &{\symb{\&\&}} \\
 {\symb{{$=$}{$=$}}} &{\symb{/{$=$}}} &{\symb{{$<$}}} \\
 {\symb{{$<$}{$=$}}} &{\symb{{$>$}}} &{\symb{{$>$}{$=$}}} \\
 {\symb{::}} &{\symb{{$+$}}} &{\symb{{$-$}}} \\
@@ -115,23 +115,28 @@ All other symbols are terminals.\\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{Pattern}} & {\arrow}  &{\nonterminal{Ident}} {\nonterminal{Pattern1}} {\nonterminal{ListPattern}}  \\
+{\nonterminal{Pattern}} & {\arrow}  &{\nonterminal{Pattern1}} {\terminal{{$|$}{$|$}}} {\nonterminal{Pattern}}  \\
  & {\delimit}  &{\nonterminal{Pattern1}}  \\
 \end{tabular}\\
 
 \begin{tabular}{lll}
-{\nonterminal{Pattern1}} & {\arrow}  &{\terminal{(}} {\nonterminal{Ident}} {\nonterminal{ListPattern}} {\terminal{)}}  \\
- & {\delimit}  &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}}  \\
+{\nonterminal{Pattern1}} & {\arrow}  &{\nonterminal{Ident}} {\nonterminal{Pattern2}} {\nonterminal{ListPattern}}  \\
+ & {\delimit}  &{\nonterminal{Pattern2}}  \\
+\end{tabular}\\
+
+\begin{tabular}{lll}
+{\nonterminal{Pattern2}} & {\arrow}  &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}}  \\
  & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
  & {\delimit}  &{\nonterminal{Integer}}  \\
  & {\delimit}  &{\nonterminal{Ident}}  \\
  & {\delimit}  &{\terminal{\_}}  \\
+ & {\delimit}  &{\terminal{(}} {\nonterminal{Pattern}} {\terminal{)}}  \\
 \end{tabular}\\
 
 \begin{tabular}{lll}
 {\nonterminal{ListPattern}} & {\arrow}  &{\emptyP} \\
- & {\delimit}  &{\nonterminal{Pattern1}} {\nonterminal{ListPattern}}  \\
+ & {\delimit}  &{\nonterminal{Pattern2}} {\nonterminal{ListPattern}}  \\
 \end{tabular}\\
 
 \begin{tabular}{lll}
diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x
index faa30740c..41f8e1fd0 100644
--- a/src/Transfer/Syntax/Lex.x
+++ b/src/Transfer/Syntax/Lex.x
@@ -16,7 +16,7 @@ $i = [$l $d _ ']          -- identifier character
 $u = [\0-\255]          -- universal: any character
 
 @rsyms =    -- reserved words consisting of special symbols
-   \; | \: | \{ | \} | \= | \( | \) | \_ | \- \> | \< \- | \\ | \> \> \= | \> \> | \| \| | \& \& | \= \= | \/ \= | \< | \< \= | \> | \> \= | \: \: | \+ | \- | \* | \/ | \% | \. | \[ | \] | \? | \,
+   \; | \: | \{ | \} | \= | \| \| | \( | \) | \_ | \- \> | \< \- | \\ | \> \> \= | \> \> | \& \& | \= \= | \/ \= | \< | \< \= | \> | \> \= | \: \: | \+ | \- | \* | \/ | \% | \. | \[ | \] | \? | \,
 
 :-
 "--" [.]* ; -- Toss single line comments
diff --git a/src/Transfer/Syntax/Par.hs b/src/Transfer/Syntax/Par.hs
index a49b14702..8108d9bd6 100644
--- a/src/Transfer/Syntax/Par.hs
+++ b/src/Transfer/Syntax/Par.hs
@@ -85,82 +85,82 @@ happyIn16 x = unsafeCoerce# x
 happyOut16 :: (HappyAbsSyn ) -> (Pattern)
 happyOut16 x = unsafeCoerce# x
 {-# INLINE happyOut16 #-}
-happyIn17 :: ([Pattern]) -> (HappyAbsSyn )
+happyIn17 :: (Pattern) -> (HappyAbsSyn )
 happyIn17 x = unsafeCoerce# x
 {-# INLINE happyIn17 #-}
-happyOut17 :: (HappyAbsSyn ) -> ([Pattern])
+happyOut17 :: (HappyAbsSyn ) -> (Pattern)
 happyOut17 x = unsafeCoerce# x
 {-# INLINE happyOut17 #-}
-happyIn18 :: (FieldPattern) -> (HappyAbsSyn )
+happyIn18 :: ([Pattern]) -> (HappyAbsSyn )
 happyIn18 x = unsafeCoerce# x
 {-# INLINE happyIn18 #-}
-happyOut18 :: (HappyAbsSyn ) -> (FieldPattern)
+happyOut18 :: (HappyAbsSyn ) -> ([Pattern])
 happyOut18 x = unsafeCoerce# x
 {-# INLINE happyOut18 #-}
-happyIn19 :: ([FieldPattern]) -> (HappyAbsSyn )
+happyIn19 :: (FieldPattern) -> (HappyAbsSyn )
 happyIn19 x = unsafeCoerce# x
 {-# INLINE happyIn19 #-}
-happyOut19 :: (HappyAbsSyn ) -> ([FieldPattern])
+happyOut19 :: (HappyAbsSyn ) -> (FieldPattern)
 happyOut19 x = unsafeCoerce# x
 {-# INLINE happyOut19 #-}
-happyIn20 :: (Exp) -> (HappyAbsSyn )
+happyIn20 :: ([FieldPattern]) -> (HappyAbsSyn )
 happyIn20 x = unsafeCoerce# x
 {-# INLINE happyIn20 #-}
-happyOut20 :: (HappyAbsSyn ) -> (Exp)
+happyOut20 :: (HappyAbsSyn ) -> ([FieldPattern])
 happyOut20 x = unsafeCoerce# x
 {-# INLINE happyOut20 #-}
-happyIn21 :: (LetDef) -> (HappyAbsSyn )
+happyIn21 :: (Exp) -> (HappyAbsSyn )
 happyIn21 x = unsafeCoerce# x
 {-# INLINE happyIn21 #-}
-happyOut21 :: (HappyAbsSyn ) -> (LetDef)
+happyOut21 :: (HappyAbsSyn ) -> (Exp)
 happyOut21 x = unsafeCoerce# x
 {-# INLINE happyOut21 #-}
-happyIn22 :: ([LetDef]) -> (HappyAbsSyn )
+happyIn22 :: (LetDef) -> (HappyAbsSyn )
 happyIn22 x = unsafeCoerce# x
 {-# INLINE happyIn22 #-}
-happyOut22 :: (HappyAbsSyn ) -> ([LetDef])
+happyOut22 :: (HappyAbsSyn ) -> (LetDef)
 happyOut22 x = unsafeCoerce# x
 {-# INLINE happyOut22 #-}
-happyIn23 :: (Case) -> (HappyAbsSyn )
+happyIn23 :: ([LetDef]) -> (HappyAbsSyn )
 happyIn23 x = unsafeCoerce# x
 {-# INLINE happyIn23 #-}
-happyOut23 :: (HappyAbsSyn ) -> (Case)
+happyOut23 :: (HappyAbsSyn ) -> ([LetDef])
 happyOut23 x = unsafeCoerce# x
 {-# INLINE happyOut23 #-}
-happyIn24 :: ([Case]) -> (HappyAbsSyn )
+happyIn24 :: (Case) -> (HappyAbsSyn )
 happyIn24 x = unsafeCoerce# x
 {-# INLINE happyIn24 #-}
-happyOut24 :: (HappyAbsSyn ) -> ([Case])
+happyOut24 :: (HappyAbsSyn ) -> (Case)
 happyOut24 x = unsafeCoerce# x
 {-# INLINE happyOut24 #-}
-happyIn25 :: (Bind) -> (HappyAbsSyn )
+happyIn25 :: ([Case]) -> (HappyAbsSyn )
 happyIn25 x = unsafeCoerce# x
 {-# INLINE happyIn25 #-}
-happyOut25 :: (HappyAbsSyn ) -> (Bind)
+happyOut25 :: (HappyAbsSyn ) -> ([Case])
 happyOut25 x = unsafeCoerce# x
 {-# INLINE happyOut25 #-}
-happyIn26 :: ([Bind]) -> (HappyAbsSyn )
+happyIn26 :: (Bind) -> (HappyAbsSyn )
 happyIn26 x = unsafeCoerce# x
 {-# INLINE happyIn26 #-}
-happyOut26 :: (HappyAbsSyn ) -> ([Bind])
+happyOut26 :: (HappyAbsSyn ) -> (Bind)
 happyOut26 x = unsafeCoerce# x
 {-# INLINE happyOut26 #-}
-happyIn27 :: (Exp) -> (HappyAbsSyn )
+happyIn27 :: ([Bind]) -> (HappyAbsSyn )
 happyIn27 x = unsafeCoerce# x
 {-# INLINE happyIn27 #-}
-happyOut27 :: (HappyAbsSyn ) -> (Exp)
+happyOut27 :: (HappyAbsSyn ) -> ([Bind])
 happyOut27 x = unsafeCoerce# x
 {-# INLINE happyOut27 #-}
-happyIn28 :: (VarOrWild) -> (HappyAbsSyn )
+happyIn28 :: (Exp) -> (HappyAbsSyn )
 happyIn28 x = unsafeCoerce# x
 {-# INLINE happyIn28 #-}
-happyOut28 :: (HappyAbsSyn ) -> (VarOrWild)
+happyOut28 :: (HappyAbsSyn ) -> (Exp)
 happyOut28 x = unsafeCoerce# x
 {-# INLINE happyOut28 #-}
-happyIn29 :: (Exp) -> (HappyAbsSyn )
+happyIn29 :: (VarOrWild) -> (HappyAbsSyn )
 happyIn29 x = unsafeCoerce# x
 {-# INLINE happyIn29 #-}
-happyOut29 :: (HappyAbsSyn ) -> (Exp)
+happyOut29 :: (HappyAbsSyn ) -> (VarOrWild)
 happyOut29 x = unsafeCoerce# x
 {-# INLINE happyOut29 #-}
 happyIn30 :: (Exp) -> (HappyAbsSyn )
@@ -223,42 +223,48 @@ happyIn39 x = unsafeCoerce# x
 happyOut39 :: (HappyAbsSyn ) -> (Exp)
 happyOut39 x = unsafeCoerce# x
 {-# INLINE happyOut39 #-}
-happyIn40 :: (FieldType) -> (HappyAbsSyn )
+happyIn40 :: (Exp) -> (HappyAbsSyn )
 happyIn40 x = unsafeCoerce# x
 {-# INLINE happyIn40 #-}
-happyOut40 :: (HappyAbsSyn ) -> (FieldType)
+happyOut40 :: (HappyAbsSyn ) -> (Exp)
 happyOut40 x = unsafeCoerce# x
 {-# INLINE happyOut40 #-}
-happyIn41 :: ([FieldType]) -> (HappyAbsSyn )
+happyIn41 :: (FieldType) -> (HappyAbsSyn )
 happyIn41 x = unsafeCoerce# x
 {-# INLINE happyIn41 #-}
-happyOut41 :: (HappyAbsSyn ) -> ([FieldType])
+happyOut41 :: (HappyAbsSyn ) -> (FieldType)
 happyOut41 x = unsafeCoerce# x
 {-# INLINE happyOut41 #-}
-happyIn42 :: (FieldValue) -> (HappyAbsSyn )
+happyIn42 :: ([FieldType]) -> (HappyAbsSyn )
 happyIn42 x = unsafeCoerce# x
 {-# INLINE happyIn42 #-}
-happyOut42 :: (HappyAbsSyn ) -> (FieldValue)
+happyOut42 :: (HappyAbsSyn ) -> ([FieldType])
 happyOut42 x = unsafeCoerce# x
 {-# INLINE happyOut42 #-}
-happyIn43 :: ([FieldValue]) -> (HappyAbsSyn )
+happyIn43 :: (FieldValue) -> (HappyAbsSyn )
 happyIn43 x = unsafeCoerce# x
 {-# INLINE happyIn43 #-}
-happyOut43 :: (HappyAbsSyn ) -> ([FieldValue])
+happyOut43 :: (HappyAbsSyn ) -> (FieldValue)
 happyOut43 x = unsafeCoerce# x
 {-# INLINE happyOut43 #-}
-happyIn44 :: (Exp) -> (HappyAbsSyn )
+happyIn44 :: ([FieldValue]) -> (HappyAbsSyn )
 happyIn44 x = unsafeCoerce# x
 {-# INLINE happyIn44 #-}
-happyOut44 :: (HappyAbsSyn ) -> (Exp)
+happyOut44 :: (HappyAbsSyn ) -> ([FieldValue])
 happyOut44 x = unsafeCoerce# x
 {-# INLINE happyOut44 #-}
-happyIn45 :: ([Exp]) -> (HappyAbsSyn )
+happyIn45 :: (Exp) -> (HappyAbsSyn )
 happyIn45 x = unsafeCoerce# x
 {-# INLINE happyIn45 #-}
-happyOut45 :: (HappyAbsSyn ) -> ([Exp])
+happyOut45 :: (HappyAbsSyn ) -> (Exp)
 happyOut45 x = unsafeCoerce# x
 {-# INLINE happyOut45 #-}
+happyIn46 :: ([Exp]) -> (HappyAbsSyn )
+happyIn46 x = unsafeCoerce# x
+{-# INLINE happyIn46 #-}
+happyOut46 :: (HappyAbsSyn ) -> ([Exp])
+happyOut46 x = unsafeCoerce# x
+{-# INLINE happyOut46 #-}
 happyInTok :: Token -> (HappyAbsSyn )
 happyInTok x = unsafeCoerce# x
 {-# INLINE happyInTok #-}
@@ -267,21 +273,21 @@ happyOutTok x = unsafeCoerce# x
 {-# INLINE happyOutTok #-}
 
 happyActOffsets :: HappyAddr
-happyActOffsets = HappyA# "\x9d\x01\x30\x00\x84\x01\x00\x00\x00\x00\x00\x00\x00\x00\x7f\x01\x00\x00\x8b\x00\x00\x00\xa4\x01\xa2\x01\x89\x02\x0d\x01\xea\x00\x00\x00\x4d\x00\x86\x01\x00\x00\x00\x00\x13\x00\xff\xff\x46\x00\x30\x00\x00\x00\x00\x00\x30\x00\xad\x01\x30\x00\xac\x01\x90\x01\x8d\x01\x00\x00\x00\x00\x5d\x01\x8e\x01\xea\xff\x5e\x01\x00\x00\x8b\x01\x6d\x01\x00\x00\x5c\x01\x5c\x01\x48\x01\x4f\x01\x4f\x01\x4f\x01\x3e\x01\x00\x00\x40\x01\x4d\x01\x4c\x01\x00\x00\x30\x00\x00\x00\x60\x01\x00\x00\x07\x00\x55\x01\x4b\x01\x1b\x01\x2d\x01\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x46\x00\x30\x00\x46\x00\x46\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xea\x00\xea\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\x00\x00\x30\x00\x00\x00\x30\x00\x47\x01\x13\x00\x30\x00\x46\x01\x45\x01\x43\x01\x34\x01\x29\x01\x23\x01\x26\x01\x25\x01\x12\x01\x00\x00\xc3\x00\xde\x00\xea\xff\xfc\xff\x30\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x30\x00\xb2\x00\x00\x00\x00\x00\xdc\x00\x00\x00\x30\x00\x00\x00\x00\x00\xa8\x00\x30\x00\x00\x00\xa8\x00\x30\x00\xa7\x00\x91\x00\x30\x00\x99\x00\xb6\x00\xb7\x00\x94\x00\x60\x00\x00\x00\x00\x00\x8c\x00\x93\x00\x60\x00\x86\x00\x00\x00\x8a\x00\x82\x00\x30\x00\x00\x00\x00\x00\x30\x00\x7d\x00\x00\x00\x30\x00\x00\x00\x00\x00\x00\x00\x00\x00\x51\x00\x44\x00\x00\x00\x00\x00\x69\x00\x68\x00\x6a\x00\x65\x00\x61\x00\x00\x00\x30\x00\x00\x00\x00\x00\x00\x00\x60\x00\x30\x00\x00\x00\x30\x00\x00\x00\x60\x00\x00\x00\x00\x00\x00\x00\x2f\x00\x00\x00\x2f\x00\x60\x00\x00\x00\x00\x00\x00\x00\x59\x00\x55\x00\x4a\x00\x00\x00\x24\x00\x30\x00\x00\x00\x00\x00\x00\x00"#
+happyActOffsets = HappyA# "\x9b\x01\x29\x00\x92\x01\x00\x00\x00\x00\x00\x00\x00\x00\x90\x01\x00\x00\xfd\xff\x00\x00\xb4\x01\x9a\x01\xac\x01\xe6\x00\x6e\x01\x00\x00\x48\x00\x8f\x01\x00\x00\x00\x00\x12\x00\xf9\xff\x40\x00\x29\x00\x00\x00\x00\x00\x29\x00\xa5\x01\x29\x00\xa3\x01\xa2\x01\xa1\x01\x00\x00\x00\x00\x63\x01\x91\x01\xe5\xff\x61\x01\x00\x00\x8e\x01\x8d\x01\x00\x00\x55\x01\x55\x01\x5c\x01\x41\x01\x41\x01\x41\x01\x45\x01\x00\x00\x43\x01\x50\x01\x4f\x01\x00\x00\x29\x00\x00\x00\x4c\x01\x00\x00\x0f\x00\x64\x01\x4b\x01\x21\x01\x36\x01\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x40\x00\x29\x00\x40\x00\x40\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x6e\x01\x6e\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x00\x00\x00\x29\x00\x00\x00\x29\x00\x49\x01\x12\x00\x29\x00\x48\x01\x38\x01\x37\x01\x33\x01\x35\x01\x31\x01\x32\x01\x1d\x01\x15\x01\x00\x00\xea\x00\x13\x01\xe5\xff\xfc\xff\x29\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x29\x00\x55\x00\x00\x00\x00\x00\x11\x01\x00\x00\x29\x00\x00\x00\x00\x00\xd3\x00\x29\x00\x00\x00\xd3\x00\x29\x00\xe9\x00\xd1\x00\x29\x00\xda\x00\xbe\x00\xe7\x00\xcf\x00\x55\x00\x00\x00\x00\x00\xc1\x00\xbd\x00\x55\x00\xb4\x00\xb7\x00\x00\x00\xb8\x00\xb2\x00\x29\x00\x00\x00\x00\x00\x29\x00\xa0\x00\x00\x00\x29\x00\x00\x00\x00\x00\x00\x00\x00\x00\x78\x00\x72\x00\x8b\x00\x00\x00\x00\x00\x85\x00\x76\x00\x6f\x00\x63\x00\x00\x00\x29\x00\x00\x00\x00\x00\x00\x00\x55\x00\x55\x00\x29\x00\x00\x00\x29\x00\x00\x00\x55\x00\x00\x00\x00\x00\x00\x00\x00\x00\x27\x00\x00\x00\x27\x00\x55\x00\x00\x00\x00\x00\x43\x00\x3f\x00\x39\x00\x00\x00\x08\x00\x29\x00\x00\x00\x00\x00\x00\x00"#
 
 happyGotoOffsets :: HappyAddr
-happyGotoOffsets = HappyA# "\xfd\x00\xcf\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xbc\x00\x00\x00\x00\x00\x00\x00\xf0\x00\x08\x00\x5a\x02\xaa\x00\x00\x00\x00\x00\xac\x03\x00\x00\x89\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xad\x00\x4b\x00\x00\x00\x32\x00\x00\x00\x00\x00\x39\x00\x37\x00\x20\x00\x06\x00\x21\x00\x12\x00\x00\x00\x1e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x66\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x31\x00\x00\x00\x37\x02\x14\x02\xf1\x01\xab\x01\xce\x01\xb5\x00\x88\x01\x65\x01\x42\x01\x1f\x01\xfc\x00\xd9\x00\x15\x04\x02\x04\x43\x03\xf2\x03\xdf\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x20\x03\x00\x00\xfd\x02\x00\x00\x87\x00\x00\x00\xcd\x00\xda\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0f\x00\x00\x00\x75\x00\x30\x02\xb7\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x94\x02\x0c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x71\x02\x00\x00\x00\x00\x03\x00\x4e\x02\x00\x00\x1c\x00\x2b\x02\x00\x00\x05\x00\x08\x02\x00\x00\x00\x00\x00\x00\x00\x00\x3b\x04\x00\x00\x00\x00\x00\x00\x00\x00\x0d\x02\x00\x00\x00\x00\x00\x00\x00\x00\xe5\x01\x00\x00\x00\x00\xc2\x01\x00\x00\x00\x00\x9f\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x00\x14\x00\x00\x00\xb0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7c\x01\x00\x00\x00\x00\x00\x00\x38\x04\x59\x01\x04\x00\x36\x01\x00\x00\xb0\x00\x00\x00\x00\x00\x00\x00\x50\x00\x00\x00\x0a\x00\x83\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0b\x00\x13\x01\x00\x00\x00\x00\x00\x00"#
+happyGotoOffsets = HappyA# "\xe1\x00\x1b\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7e\x00\x00\x00\x00\x00\x00\x00\xd7\x00\x04\x00\xdf\x03\x8f\x00\x00\x00\x00\x00\x07\x03\x00\x00\xe3\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x86\x01\x36\x00\x00\x00\x05\x00\x00\x00\x00\x00\x32\x00\x2b\x00\x66\x00\x68\x00\x26\x00\x13\x00\x00\x00\x11\x00\x00\x00\x00\x00\x00\x00\x00\x00\xcf\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x23\x00\x00\x00\xdb\x03\xcb\x03\xc7\x03\xb2\x03\xc3\x03\xb7\x03\x9f\x03\x8e\x03\x87\x03\x7b\x03\x74\x03\xbf\x00\x63\x03\x50\x03\xab\x02\x3f\x03\x2c\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x97\x02\x00\x00\x73\x02\x00\x00\x7b\x00\x00\x00\xb3\x00\x5f\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x06\x00\x00\x00\xe3\x00\x53\x01\x3b\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x27\x02\x4e\x01\x00\x00\x00\x00\x00\x00\x00\x00\x03\x02\x00\x00\x00\x00\x64\x00\xef\x01\x00\x00\x14\x00\xcb\x01\x00\x00\x10\x00\xb7\x01\x00\x00\x00\x00\x00\x00\x00\x00\x03\x04\x00\x00\x00\x00\x00\x00\x00\x00\x1b\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x93\x01\x00\x00\x00\x00\x7f\x01\x00\x00\x00\x00\x5b\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x60\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x47\x01\x00\x00\x00\x00\x00\x00\x0c\x00\x16\x01\x23\x01\x02\x00\x0f\x01\x00\x00\x82\x00\x00\x00\x00\x00\x00\x00\x00\x00\x82\x01\x00\x00\x54\x00\xba\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x49\x00\xeb\x00\x00\x00\x00\x00\x00\x00"#
 
 happyDefActions :: HappyAddr
-happyDefActions = HappyA# "\xf8\xff\x00\x00\x00\x00\xfd\xff\xa4\xff\xa2\xff\xa1\xff\x00\x00\x96\xff\xc7\xff\xc2\xff\xc0\xff\xbe\xff\xb7\xff\xb5\xff\xb2\xff\xae\xff\xac\xff\xaa\xff\xa8\xff\xd7\xff\x00\x00\x00\x00\x00\x00\x95\xff\xa0\xff\xa3\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfc\xff\xfb\xff\x00\x00\xf7\xff\xf1\xff\x00\x00\xf9\xff\xe1\xff\xf0\xff\xfa\xff\x00\x00\x00\x00\xf8\xff\x9d\xff\x99\xff\xd5\xff\x00\x00\xcc\xff\x00\x00\x94\xff\x00\x00\xad\xff\x00\x00\xc6\xff\x00\x00\xc5\xff\xa4\xff\x00\x00\x00\x00\x00\x00\xab\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc3\xff\xc4\xff\xc8\xff\xc1\xff\xbf\xff\xb8\xff\xb9\xff\xba\xff\xbb\xff\xbc\xff\xbd\xff\xb3\xff\xb4\xff\xb6\xff\xaf\xff\xb0\xff\xb1\xff\xa9\xff\x00\x00\x9f\xff\x00\x00\xa5\xff\x95\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd4\xff\x00\x00\x00\x00\x98\xff\x00\x00\x00\x00\x9c\xff\x00\x00\xf6\xff\x00\x00\x00\x00\xf1\xff\x00\x00\x00\x00\xf4\xff\xe3\xff\xe5\xff\xe4\xff\xe0\xff\x00\x00\x00\x00\xe2\xff\xe6\xff\x00\x00\xef\xff\x00\x00\xf2\xff\xa7\xff\x9d\xff\x00\x00\xa6\xff\x99\xff\x00\x00\x00\x00\xd5\xff\x00\x00\x00\x00\xcd\xff\x00\x00\x00\x00\xd1\xff\x93\xff\xca\xff\x00\x00\x00\x00\xe3\xff\x00\x00\xe9\xff\xd0\xff\x00\x00\x00\x00\xcb\xff\xd8\xff\x00\x00\x00\x00\xd3\xff\x00\x00\x9a\xff\x97\xff\x9e\xff\x9b\xff\x00\x00\xde\xff\xe1\xff\xf3\xff\x00\x00\x00\x00\xdd\xff\x00\x00\x00\x00\xdb\xff\x00\x00\xd9\xff\xce\xff\xda\xff\xd1\xff\x00\x00\xe1\xff\x00\x00\xc9\xff\xea\xff\xd2\xff\xcf\xff\xd6\xff\xed\xff\xe7\xff\xde\xff\x00\x00\xe8\xff\xdf\xff\xdc\xff\x00\x00\xec\xff\x00\x00\xf5\xff\xed\xff\x00\x00\xee\xff\xeb\xff"#
+happyDefActions = HappyA# "\xf8\xff\x00\x00\x00\x00\xfd\xff\xa2\xff\xa0\xff\x9f\xff\x00\x00\x94\xff\xc5\xff\xc0\xff\xbe\xff\xbc\xff\xb5\xff\xb3\xff\xb0\xff\xac\xff\xaa\xff\xa8\xff\xa6\xff\xd5\xff\x00\x00\x00\x00\x00\x00\x93\xff\x9e\xff\xa1\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xfc\xff\xfb\xff\x00\x00\xf7\xff\xf1\xff\x00\x00\xf9\xff\xdf\xff\xf0\xff\xfa\xff\x00\x00\x00\x00\xf8\xff\x9b\xff\x97\xff\xd3\xff\x00\x00\xca\xff\x00\x00\x92\xff\x00\x00\xab\xff\x00\x00\xc4\xff\x00\x00\xc3\xff\xa2\xff\x00\x00\x00\x00\x00\x00\xa9\xff\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc1\xff\xc2\xff\xc6\xff\xbf\xff\xbd\xff\xb6\xff\xb7\xff\xb8\xff\xb9\xff\xba\xff\xbb\xff\xb1\xff\xb2\xff\xb4\xff\xad\xff\xae\xff\xaf\xff\xa7\xff\x00\x00\x9d\xff\x00\x00\xa3\xff\x93\xff\x00\x00\x00\x00\x00\x00\x00\x00\xd2\xff\x00\x00\x00\x00\x96\xff\x00\x00\x00\x00\x9a\xff\x00\x00\xf6\xff\x00\x00\x00\x00\xf1\xff\x00\x00\x00\x00\xf4\xff\xe2\xff\xe4\xff\xe3\xff\xde\xff\x00\x00\x00\x00\xe1\xff\xe5\xff\x00\x00\xef\xff\x00\x00\xf2\xff\xa5\xff\x9b\xff\x00\x00\xa4\xff\x97\xff\x00\x00\x00\x00\xd3\xff\x00\x00\x00\x00\xcb\xff\x00\x00\x00\x00\xcf\xff\x91\xff\xc8\xff\x00\x00\x00\x00\xe2\xff\x00\x00\xe9\xff\xe7\xff\xce\xff\x00\x00\x00\x00\xc9\xff\xd6\xff\x00\x00\x00\x00\xd1\xff\x00\x00\x98\xff\x95\xff\x9c\xff\x99\xff\x00\x00\xdc\xff\x00\x00\xf3\xff\xe0\xff\x00\x00\xdb\xff\x00\x00\x00\x00\xd9\xff\x00\x00\xd7\xff\xcc\xff\xd8\xff\xcf\xff\x00\x00\x00\x00\xdf\xff\x00\x00\xc7\xff\xe8\xff\xd0\xff\xea\xff\xcd\xff\xd4\xff\xed\xff\xe6\xff\xdc\xff\x00\x00\xdd\xff\xda\xff\x00\x00\xec\xff\x00\x00\xf5\xff\xed\xff\x00\x00\xee\xff\xeb\xff"#
 
 happyCheck :: HappyAddr
-happyCheck = HappyA# "\xff\xff\x05\x00\x06\x00\x00\x00\x08\x00\x00\x00\x00\x00\x08\x00\x00\x00\x02\x00\x00\x00\x00\x00\x00\x00\x23\x00\x24\x00\x00\x00\x0c\x00\x0a\x00\x00\x00\x08\x00\x09\x00\x10\x00\x11\x00\x0d\x00\x0e\x00\x06\x00\x30\x00\x08\x00\x00\x00\x21\x00\x0b\x00\x17\x00\x0c\x00\x00\x00\x10\x00\x11\x00\x04\x00\x05\x00\x23\x00\x24\x00\x2c\x00\x23\x00\x24\x00\x18\x00\x30\x00\x31\x00\x32\x00\x30\x00\x1d\x00\x00\x00\x1f\x00\x15\x00\x21\x00\x22\x00\x06\x00\x00\x00\x25\x00\x00\x00\x27\x00\x0b\x00\x00\x00\x2a\x00\x0c\x00\x2c\x00\x2d\x00\x25\x00\x26\x00\x30\x00\x31\x00\x32\x00\x25\x00\x26\x00\x18\x00\x0d\x00\x0e\x00\x00\x00\x06\x00\x1d\x00\x04\x00\x1f\x00\x00\x00\x21\x00\x22\x00\x06\x00\x30\x00\x25\x00\x01\x00\x27\x00\x08\x00\x09\x00\x2a\x00\x02\x00\x2c\x00\x2d\x00\x18\x00\x30\x00\x30\x00\x31\x00\x32\x00\x1d\x00\x03\x00\x1f\x00\x06\x00\x21\x00\x08\x00\x04\x00\x1d\x00\x01\x00\x1f\x00\x05\x00\x21\x00\x06\x00\x07\x00\x08\x00\x2c\x00\x2d\x00\x30\x00\x00\x00\x30\x00\x31\x00\x32\x00\x2c\x00\x2d\x00\x06\x00\x07\x00\x30\x00\x31\x00\x32\x00\x2f\x00\x21\x00\x05\x00\x00\x00\x01\x00\x02\x00\x04\x00\x00\x00\x01\x00\x02\x00\x21\x00\x01\x00\x2c\x00\x0a\x00\x0b\x00\x09\x00\x30\x00\x31\x00\x32\x00\x07\x00\x09\x00\x2c\x00\x0f\x00\x0c\x00\x0d\x00\x30\x00\x31\x00\x32\x00\x09\x00\x16\x00\x0a\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x00\x00\x27\x00\x28\x00\x00\x00\x01\x00\x02\x00\x06\x00\x07\x00\x00\x00\x01\x00\x02\x00\x01\x00\x0f\x00\x04\x00\x0b\x00\x00\x00\x01\x00\x02\x00\x26\x00\x16\x00\x30\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x29\x00\x27\x00\x28\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x30\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x21\x00\x22\x00\x03\x00\x02\x00\x14\x00\x30\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x30\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x03\x00\x04\x00\x05\x00\x19\x00\x1a\x00\x1b\x00\x16\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x04\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x16\x00\x17\x00\x18\x00\x01\x00\x04\x00\x02\x00\x16\x00\x01\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x05\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x01\x00\x04\x00\x02\x00\x1c\x00\x03\x00\x30\x00\x16\x00\x02\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x07\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x09\x00\x1e\x00\x2b\x00\x2e\x00\x20\x00\x01\x00\x16\x00\x28\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x30\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x30\x00\x02\x00\x30\x00\x01\x00\x03\x00\x34\x00\x16\x00\x03\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x1c\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x03\x00\x03\x00\x0f\x00\x0e\x00\x34\x00\x30\x00\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x28\x00\x27\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\x00\x00\x01\x00\x02\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x0b\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\x00\x00\x01\x00\x02\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\x0b\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\x1f\x00\x20\x00\x21\x00\x22\x00\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0f\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\x16\x00\xff\xff\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\x27\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\xff\xff\x0a\x00\x0b\x00\xff\xff\xff\xff\xff\xff\x12\x00\x13\x00\xff\xff\x12\x00\x13\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"#
+happyCheck = HappyA# "\xff\xff\x05\x00\x09\x00\x07\x00\x00\x00\x09\x00\x00\x00\x0a\x00\x23\x00\x24\x00\x0d\x00\x0e\x00\x00\x00\x01\x00\x02\x00\x0d\x00\x00\x00\x02\x00\x0d\x00\x00\x00\x00\x00\x30\x00\x0a\x00\x0b\x00\x0c\x00\x07\x00\x0b\x00\x09\x00\x18\x00\x21\x00\x0c\x00\x13\x00\x14\x00\x11\x00\x12\x00\x00\x00\x11\x00\x12\x00\x00\x00\x16\x00\x2c\x00\x30\x00\x18\x00\x00\x00\x30\x00\x31\x00\x32\x00\x1d\x00\x07\x00\x1f\x00\x00\x00\x21\x00\x22\x00\x0c\x00\x00\x00\x25\x00\x30\x00\x27\x00\x26\x00\x27\x00\x2a\x00\x04\x00\x2c\x00\x2d\x00\x01\x00\x18\x00\x30\x00\x31\x00\x32\x00\x02\x00\x1d\x00\x07\x00\x1f\x00\x00\x00\x21\x00\x22\x00\x26\x00\x27\x00\x25\x00\x07\x00\x27\x00\x08\x00\x09\x00\x2a\x00\x00\x00\x2c\x00\x2d\x00\x30\x00\x18\x00\x30\x00\x31\x00\x32\x00\x07\x00\x1d\x00\x09\x00\x1f\x00\x00\x00\x21\x00\x0e\x00\x0f\x00\x00\x00\x1d\x00\x03\x00\x1f\x00\x00\x00\x21\x00\x04\x00\x05\x00\x2c\x00\x2d\x00\x0e\x00\x0f\x00\x30\x00\x31\x00\x32\x00\x04\x00\x2c\x00\x2d\x00\x21\x00\x01\x00\x30\x00\x31\x00\x32\x00\x00\x00\x01\x00\x02\x00\x00\x00\x01\x00\x02\x00\x2c\x00\x00\x00\x01\x00\x02\x00\x30\x00\x31\x00\x32\x00\x24\x00\x25\x00\x05\x00\x10\x00\x24\x00\x25\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x17\x00\x08\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x22\x00\x23\x00\x30\x00\x28\x00\x29\x00\x05\x00\x17\x00\x2f\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x04\x00\x28\x00\x29\x00\x01\x00\x00\x00\x01\x00\x02\x00\x06\x00\x0a\x00\x00\x00\x01\x00\x02\x00\x04\x00\x10\x00\x0a\x00\x0b\x00\x0c\x00\x0a\x00\x15\x00\x08\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x0b\x00\x28\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x03\x00\x04\x00\x05\x00\x10\x00\x01\x00\x06\x00\x07\x00\x00\x00\x01\x00\x02\x00\x17\x00\x18\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x16\x00\x17\x00\x18\x00\x28\x00\x26\x00\x30\x00\x17\x00\x30\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x29\x00\x28\x00\x03\x00\x02\x00\x00\x00\x01\x00\x02\x00\x04\x00\x30\x00\x00\x00\x01\x00\x02\x00\x01\x00\x10\x00\x0a\x00\x0b\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x17\x00\x0c\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x02\x00\x04\x00\x01\x00\x28\x00\x05\x00\x01\x00\x17\x00\x04\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x02\x00\x28\x00\x03\x00\x02\x00\x00\x00\x01\x00\x02\x00\x30\x00\x1c\x00\x00\x00\x01\x00\x02\x00\x0a\x00\x10\x00\x0a\x00\x0b\x00\x0c\x00\x00\x00\x01\x00\x02\x00\x17\x00\x0c\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x08\x00\x1e\x00\x2b\x00\x28\x00\x20\x00\x30\x00\x17\x00\x2e\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x00\x00\x28\x00\x28\x00\x30\x00\x00\x00\x19\x00\x1a\x00\x1b\x00\x08\x00\x09\x00\x06\x00\x07\x00\x01\x00\x10\x00\x02\x00\x30\x00\x01\x00\x00\x00\x01\x00\x02\x00\x17\x00\x34\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x03\x00\x03\x00\x03\x00\x28\x00\x03\x00\x0f\x00\x17\x00\x1c\x00\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\x06\x00\x28\x00\x10\x00\x11\x00\x12\x00\x13\x00\x14\x00\x15\x00\x30\x00\x28\x00\x34\x00\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\xff\xff\xff\xff\xff\xff\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x10\x00\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x10\x00\x00\x00\x01\x00\x02\x00\x28\x00\xff\xff\xff\xff\x17\x00\xff\xff\x19\x00\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x28\x00\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x1a\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x1b\x00\x1c\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\xff\xff\x1d\x00\x1e\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\x00\x00\x01\x00\x02\x00\x1f\x00\x20\x00\x21\x00\x22\x00\x23\x00\x20\x00\x21\x00\x22\x00\x23\x00\x20\x00\x21\x00\x22\x00\x23\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x20\x00\x21\x00\x22\x00\x23\x00\x20\x00\x21\x00\x22\x00\x23\x00\x00\x00\x01\x00\x02\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x0a\x00\x0b\x00\x0c\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x13\x00\x14\x00\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff"#
 
 happyTable :: HappyAddr
-happyTable = HappyA# "\x00\x00\x80\x00\x81\x00\x71\x00\x82\x00\x6b\x00\x71\x00\x3b\x00\x38\x00\xc6\xff\xae\x00\xc7\x00\xab\x00\x2c\x00\x2d\x00\x86\x00\xbc\x00\xc6\xff\x6b\x00\xc8\x00\xce\x00\x6c\x00\xa3\x00\xaf\x00\xc6\x00\x16\x00\x04\x00\x3b\x00\x6e\x00\x83\x00\x17\x00\x39\x00\xad\x00\x6e\x00\x6c\x00\x6d\x00\x24\x00\x74\x00\x72\x00\xa8\x00\x84\x00\x72\x00\x73\x00\x18\x00\x04\x00\x22\x00\x23\x00\x04\x00\x19\x00\x62\x00\x1a\x00\x69\x00\x1b\x00\x1c\x00\x16\x00\x75\x00\x1d\x00\x76\x00\x1e\x00\x17\x00\xae\x00\x1f\x00\x78\x00\x20\x00\x21\x00\x6f\x00\xa6\x00\x04\x00\x22\x00\x23\x00\x6f\x00\x70\x00\x18\x00\xaf\x00\xb0\x00\x27\x00\x38\x00\x19\x00\xcb\x00\x1a\x00\xc7\x00\x1b\x00\x1c\x00\x38\x00\x04\x00\x1d\x00\xcc\x00\x1e\x00\xc8\x00\xc9\x00\x1f\x00\xcd\x00\x20\x00\x21\x00\x18\x00\x04\x00\x04\x00\x22\x00\x23\x00\x19\x00\xc1\x00\x1a\x00\x81\x00\x1b\x00\x82\x00\xc2\x00\x19\x00\xc3\x00\x1a\x00\xc4\x00\x1b\x00\x81\x00\xc5\x00\x82\x00\x20\x00\x21\x00\x04\x00\x28\x00\x04\x00\x22\x00\x23\x00\x20\x00\x21\x00\x29\x00\x84\x00\x04\x00\x22\x00\x23\x00\xb2\x00\x83\x00\xb4\x00\x99\x00\x7c\x00\x7d\x00\xb7\x00\x04\x00\x05\x00\x06\x00\x83\x00\xb8\x00\x84\x00\xc5\x00\x9b\x00\xb9\x00\x04\x00\x22\x00\x23\x00\x99\x00\x4f\x00\x84\x00\x34\x00\x50\x00\x51\x00\x04\x00\x22\x00\x23\x00\xbb\x00\x08\x00\x9f\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x28\x00\x14\x00\x95\x00\x7b\x00\x7c\x00\x7d\x00\x29\x00\x2a\x00\x04\x00\x05\x00\x06\x00\xa0\x00\x34\x00\xa1\x00\x7e\x00\x04\x00\x05\x00\x06\x00\xa2\x00\x08\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\xa5\x00\x14\x00\x35\x00\x5c\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x04\x00\x05\x00\x06\x00\x91\x00\x3f\x00\x13\x00\xab\x00\x86\x00\x92\x00\x04\x00\x08\x00\x93\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\x04\x00\x14\x00\x56\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x3c\x00\x23\x00\x24\x00\x25\x00\x41\x00\x42\x00\x43\x00\x08\x00\x3d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x88\x00\x14\x00\x57\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xcd\x00\x44\x00\x45\x00\x46\x00\x89\x00\x8b\x00\x8a\x00\x08\x00\x8c\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x8d\x00\x14\x00\x58\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xbb\x00\x8f\x00\x8e\x00\x90\x00\x3f\x00\x95\x00\x04\x00\x08\x00\x64\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x65\x00\x14\x00\x59\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xbd\x00\x66\x00\x67\x00\x69\x00\x6b\x00\x68\x00\x78\x00\x08\x00\x27\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x04\x00\x14\x00\x5a\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xbf\x00\x04\x00\x7a\x00\x04\x00\x2e\x00\x2f\x00\xff\xff\x08\x00\x30\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x3f\x00\x14\x00\x5b\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xb2\x00\x31\x00\x33\x00\x4d\x00\x4e\x00\xff\xff\x04\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x27\x00\x14\x00\x5e\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xb4\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x5d\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xb5\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x7b\x00\x7c\x00\x7d\x00\x5f\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa2\x00\xb9\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x7b\x00\x7c\x00\x7d\x00\x60\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa5\x00\x7e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x61\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa7\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x36\x00\x11\x00\x12\x00\x13\x00\x00\x00\x00\x00\x00\x00\xa9\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x00\x00\x00\x00\x00\x00\x00\x00\xac\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x7a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x90\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x96\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x97\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x53\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x31\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x33\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x07\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x51\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x52\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x54\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x55\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x99\x00\x7c\x00\x7d\x00\x99\x00\x7c\x00\x7d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x00\x9b\x00\x00\x00\x9a\x00\x9b\x00\x00\x00\x00\x00\x00\x00\x9c\x00\xbe\x00\x00\x00\x9c\x00\x9d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#
+happyTable = HappyA# "\x00\x00\x80\x00\x3b\x00\x81\x00\x38\x00\x82\x00\x86\x00\x4f\x00\x2c\x00\x2d\x00\x50\x00\x51\x00\x99\x00\x7c\x00\x7d\x00\xbe\x00\x6b\x00\xc4\xff\x78\x00\x6b\x00\x6e\x00\x04\x00\x9a\x00\x9b\x00\x9c\x00\x16\x00\xc4\xff\x3b\x00\x39\x00\x83\x00\x17\x00\x9d\x00\xc1\x00\x6c\x00\xa4\x00\x62\x00\x6c\x00\x6d\x00\x6e\x00\x69\x00\x84\x00\x04\x00\x18\x00\x75\x00\x04\x00\x22\x00\x23\x00\x19\x00\x16\x00\x1a\x00\x76\x00\x1b\x00\x1c\x00\x17\x00\x27\x00\x1d\x00\x04\x00\x1e\x00\x6f\x00\xa7\x00\x1f\x00\xcd\x00\x20\x00\x21\x00\xce\x00\x18\x00\x04\x00\x22\x00\x23\x00\xcf\x00\x19\x00\x38\x00\x1a\x00\xc9\x00\x1b\x00\x1c\x00\x6f\x00\x70\x00\x1d\x00\x38\x00\x1e\x00\xca\x00\xd0\x00\x1f\x00\xaf\x00\x20\x00\x21\x00\x04\x00\x18\x00\x04\x00\x22\x00\x23\x00\x81\x00\x19\x00\x82\x00\x1a\x00\xaf\x00\x1b\x00\xb0\x00\xc8\x00\x71\x00\x19\x00\xc4\x00\x1a\x00\x71\x00\x1b\x00\x24\x00\x74\x00\x20\x00\x21\x00\xb0\x00\xb1\x00\x04\x00\x22\x00\x23\x00\xc5\x00\x20\x00\x21\x00\x83\x00\xc6\x00\x04\x00\x22\x00\x23\x00\x04\x00\x05\x00\x06\x00\x04\x00\x05\x00\x06\x00\x84\x00\x7b\x00\x7c\x00\x7d\x00\x04\x00\x22\x00\x23\x00\x72\x00\xa9\x00\xc7\x00\x34\x00\x72\x00\x73\x00\x7e\x00\x04\x00\x05\x00\x06\x00\x08\x00\xaf\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x34\x00\x3f\x00\x13\x00\x04\x00\x14\x00\x95\x00\xb5\x00\x08\x00\xb3\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\xb8\x00\x14\x00\x35\x00\xb9\x00\x99\x00\x7c\x00\x7d\x00\xba\x00\xbb\x00\x04\x00\x05\x00\x06\x00\xa2\x00\x91\x00\xc7\x00\x9b\x00\x9c\x00\xbd\x00\x92\x00\x99\x00\x08\x00\x93\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x3b\x00\x05\x00\x06\x00\xa0\x00\x14\x00\x56\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x28\x00\x23\x00\x24\x00\x25\x00\x3c\x00\xa1\x00\x29\x00\x84\x00\x04\x00\x05\x00\x06\x00\x08\x00\x3d\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xcf\x00\x44\x00\x45\x00\x46\x00\x14\x00\xa3\x00\x04\x00\x08\x00\x04\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xa6\x00\x14\x00\xac\x00\x86\x00\x99\x00\x7c\x00\x7d\x00\x88\x00\x04\x00\x7b\x00\x7c\x00\x7d\x00\x89\x00\xbd\x00\xc0\x00\x9b\x00\x9c\x00\x04\x00\x05\x00\x06\x00\x08\x00\xbb\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xbf\x00\x8a\x00\x8b\x00\x8c\x00\x14\x00\x8d\x00\x8f\x00\x08\x00\x8e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x90\x00\x14\x00\x95\x00\x64\x00\x99\x00\x7c\x00\x7d\x00\x04\x00\x3f\x00\x7b\x00\x7c\x00\x7d\x00\x66\x00\xc2\x00\xac\x00\x9b\x00\x9c\x00\x04\x00\x05\x00\x06\x00\x08\x00\x7e\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xb3\x00\x65\x00\x67\x00\x69\x00\x14\x00\x68\x00\x04\x00\x08\x00\x6b\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\xc9\x00\x14\x00\x27\x00\x04\x00\x28\x00\x41\x00\x42\x00\x43\x00\xca\x00\xcb\x00\x29\x00\x2a\x00\x78\x00\xb5\x00\x7a\x00\x04\x00\x2e\x00\x04\x00\x05\x00\x06\x00\x08\x00\xff\xff\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xb6\x00\x2f\x00\x30\x00\x31\x00\x14\x00\x33\x00\x4d\x00\x08\x00\x3f\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x4e\x00\x14\x00\x47\x00\x48\x00\x49\x00\x4a\x00\x4b\x00\x4c\x00\x04\x00\x27\x00\xff\xff\x00\x00\x00\x00\xa3\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xa6\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xa8\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\xaa\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xad\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x7a\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x90\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x96\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x97\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x53\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x3c\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x31\x00\x00\x00\x00\x00\x00\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x33\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x07\x00\x04\x00\x05\x00\x06\x00\x14\x00\x00\x00\x00\x00\x08\x00\x00\x00\x09\x00\x0a\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x14\x00\x00\x00\x00\x00\x51\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x52\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x54\x00\x0b\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x55\x00\x0c\x00\x0d\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x57\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x58\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x59\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x5a\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x00\x00\x5b\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x00\x00\x5e\x00\x0e\x00\x0f\x00\x10\x00\x11\x00\x12\x00\x13\x00\x5c\x00\x10\x00\x11\x00\x12\x00\x13\x00\x04\x00\x05\x00\x06\x00\x00\x00\x04\x00\x05\x00\x06\x00\x5d\x00\x10\x00\x11\x00\x12\x00\x13\x00\x5f\x00\x11\x00\x12\x00\x13\x00\x60\x00\x11\x00\x12\x00\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x61\x00\x11\x00\x12\x00\x13\x00\x36\x00\x11\x00\x12\x00\x13\x00\x99\x00\x7c\x00\x7d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9a\x00\x9b\x00\x9c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x9d\x00\x9e\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"#
 
-happyReduceArr = array (2, 108) [
+happyReduceArr = array (2, 110) [
 	(2 , happyReduce_2),
 	(3 , happyReduce_3),
 	(4 , happyReduce_4),
@@ -388,11 +394,13 @@ happyReduceArr = array (2, 108) [
 	(105 , happyReduce_105),
 	(106 , happyReduce_106),
 	(107 , happyReduce_107),
-	(108 , happyReduce_108)
+	(108 , happyReduce_108),
+	(109 , happyReduce_109),
+	(110 , happyReduce_110)
 	]
 
 happy_n_terms = 53 :: Int
-happy_n_nonterms = 41 :: Int
+happy_n_nonterms = 42 :: Int
 
 happyReduce_2 = happySpecReduce_1 0# happyReduction_2
 happyReduction_2 happy_x_1
@@ -465,7 +473,7 @@ happyReduction_10 (happy_x_8 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
 	 = case happyOut5 happy_x_2 of { happy_var_2 -> 
-	case happyOut20 happy_x_4 of { happy_var_4 -> 
+	case happyOut21 happy_x_4 of { happy_var_4 -> 
 	case happyOut14 happy_x_7 of { happy_var_7 -> 
 	happyIn11
 		 (DataDecl happy_var_2 happy_var_4 happy_var_7
@@ -476,7 +484,7 @@ happyReduction_11 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
 	happyIn11
 		 (TypeDecl happy_var_1 happy_var_3
 	)}}
@@ -488,8 +496,8 @@ happyReduction_12 (happy_x_4 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
 	 = case happyOut5 happy_x_1 of { happy_var_1 -> 
-	case happyOut17 happy_x_2 of { happy_var_2 -> 
-	case happyOut20 happy_x_4 of { happy_var_4 -> 
+	case happyOut18 happy_x_2 of { happy_var_2 -> 
+	case happyOut21 happy_x_4 of { happy_var_4 -> 
 	happyIn11
 		 (ValueDecl happy_var_1 (reverse happy_var_2) happy_var_4
 	) `HappyStk` happyRest}}}
@@ -531,7 +539,7 @@ happyReduction_17 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
 	happyIn13
 		 (ConsDecl happy_var_1 happy_var_3
 	)}}
@@ -562,12 +570,11 @@ happyReduce_21 = happySpecReduce_3 10# happyReduction_21
 happyReduction_21 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	case happyOut16 happy_x_2 of { happy_var_2 -> 
-	case happyOut17 happy_x_3 of { happy_var_3 -> 
+	 =  case happyOut16 happy_x_1 of { happy_var_1 -> 
+	case happyOut15 happy_x_3 of { happy_var_3 -> 
 	happyIn15
-		 (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3)
-	)}}}
+		 (POr happy_var_1 happy_var_3
+	)}}
 
 happyReduce_22 = happySpecReduce_1 10# happyReduction_22
 happyReduction_22 happy_x_1
@@ -576,285 +583,300 @@ happyReduction_22 happy_x_1
 		 (happy_var_1
 	)}
 
-happyReduce_23 = happyReduce 4# 11# happyReduction_23
-happyReduction_23 (happy_x_4 `HappyStk`
-	happy_x_3 `HappyStk`
-	happy_x_2 `HappyStk`
-	happy_x_1 `HappyStk`
-	happyRest)
-	 = case happyOut5 happy_x_2 of { happy_var_2 -> 
-	case happyOut17 happy_x_3 of { happy_var_3 -> 
+happyReduce_23 = happySpecReduce_3 11# happyReduction_23
+happyReduction_23 happy_x_3
+	happy_x_2
+	happy_x_1
+	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
+	case happyOut17 happy_x_2 of { happy_var_2 -> 
+	case happyOut18 happy_x_3 of { happy_var_3 -> 
 	happyIn16
-		 (PCons happy_var_2 (reverse happy_var_3)
-	) `HappyStk` happyRest}}
+		 (PConsTop happy_var_1 happy_var_2 (reverse happy_var_3)
+	)}}}
+
+happyReduce_24 = happySpecReduce_1 11# happyReduction_24
+happyReduction_24 happy_x_1
+	 =  case happyOut17 happy_x_1 of { happy_var_1 -> 
+	happyIn16
+		 (happy_var_1
+	)}
 
-happyReduce_24 = happyReduce 4# 11# happyReduction_24
-happyReduction_24 (happy_x_4 `HappyStk`
+happyReduce_25 = happyReduce 4# 12# happyReduction_25
+happyReduction_25 (happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut19 happy_x_3 of { happy_var_3 -> 
-	happyIn16
+	 = case happyOut20 happy_x_3 of { happy_var_3 -> 
+	happyIn17
 		 (PRec happy_var_3
 	) `HappyStk` happyRest}
 
-happyReduce_25 = happySpecReduce_1 11# happyReduction_25
-happyReduction_25 happy_x_1
-	 =  happyIn16
+happyReduce_26 = happySpecReduce_1 12# happyReduction_26
+happyReduction_26 happy_x_1
+	 =  happyIn17
 		 (PType
 	)
 
-happyReduce_26 = happySpecReduce_1 11# happyReduction_26
-happyReduction_26 happy_x_1
+happyReduce_27 = happySpecReduce_1 12# happyReduction_27
+happyReduction_27 happy_x_1
 	 =  case happyOut6 happy_x_1 of { happy_var_1 -> 
-	happyIn16
+	happyIn17
 		 (PStr happy_var_1
 	)}
 
-happyReduce_27 = happySpecReduce_1 11# happyReduction_27
-happyReduction_27 happy_x_1
+happyReduce_28 = happySpecReduce_1 12# happyReduction_28
+happyReduction_28 happy_x_1
 	 =  case happyOut7 happy_x_1 of { happy_var_1 -> 
-	happyIn16
+	happyIn17
 		 (PInt happy_var_1
 	)}
 
-happyReduce_28 = happySpecReduce_1 11# happyReduction_28
-happyReduction_28 happy_x_1
+happyReduce_29 = happySpecReduce_1 12# happyReduction_29
+happyReduction_29 happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	happyIn16
+	happyIn17
 		 (PVar happy_var_1
 	)}
 
-happyReduce_29 = happySpecReduce_1 11# happyReduction_29
-happyReduction_29 happy_x_1
-	 =  happyIn16
+happyReduce_30 = happySpecReduce_1 12# happyReduction_30
+happyReduction_30 happy_x_1
+	 =  happyIn17
 		 (PWild
 	)
 
-happyReduce_30 = happySpecReduce_0 12# happyReduction_30
-happyReduction_30  =  happyIn17
+happyReduce_31 = happySpecReduce_3 12# happyReduction_31
+happyReduction_31 happy_x_3
+	happy_x_2
+	happy_x_1
+	 =  case happyOut15 happy_x_2 of { happy_var_2 -> 
+	happyIn17
+		 (happy_var_2
+	)}
+
+happyReduce_32 = happySpecReduce_0 13# happyReduction_32
+happyReduction_32  =  happyIn18
 		 ([]
 	)
 
-happyReduce_31 = happySpecReduce_2 12# happyReduction_31
-happyReduction_31 happy_x_2
+happyReduce_33 = happySpecReduce_2 13# happyReduction_33
+happyReduction_33 happy_x_2
 	happy_x_1
-	 =  case happyOut17 happy_x_1 of { happy_var_1 -> 
-	case happyOut16 happy_x_2 of { happy_var_2 -> 
-	happyIn17
+	 =  case happyOut18 happy_x_1 of { happy_var_1 -> 
+	case happyOut17 happy_x_2 of { happy_var_2 -> 
+	happyIn18
 		 (flip (:) happy_var_1 happy_var_2
 	)}}
 
-happyReduce_32 = happySpecReduce_3 13# happyReduction_32
-happyReduction_32 happy_x_3
+happyReduce_34 = happySpecReduce_3 14# happyReduction_34
+happyReduction_34 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
 	case happyOut15 happy_x_3 of { happy_var_3 -> 
-	happyIn18
+	happyIn19
 		 (FieldPattern happy_var_1 happy_var_3
 	)}}
 
-happyReduce_33 = happySpecReduce_0 14# happyReduction_33
-happyReduction_33  =  happyIn19
+happyReduce_35 = happySpecReduce_0 15# happyReduction_35
+happyReduction_35  =  happyIn20
 		 ([]
 	)
 
-happyReduce_34 = happySpecReduce_1 14# happyReduction_34
-happyReduction_34 happy_x_1
-	 =  case happyOut18 happy_x_1 of { happy_var_1 -> 
-	happyIn19
+happyReduce_36 = happySpecReduce_1 15# happyReduction_36
+happyReduction_36 happy_x_1
+	 =  case happyOut19 happy_x_1 of { happy_var_1 -> 
+	happyIn20
 		 ((:[]) happy_var_1
 	)}
 
-happyReduce_35 = happySpecReduce_3 14# happyReduction_35
-happyReduction_35 happy_x_3
+happyReduce_37 = happySpecReduce_3 15# happyReduction_37
+happyReduction_37 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut18 happy_x_1 of { happy_var_1 -> 
-	case happyOut19 happy_x_3 of { happy_var_3 -> 
-	happyIn19
+	 =  case happyOut19 happy_x_1 of { happy_var_1 -> 
+	case happyOut20 happy_x_3 of { happy_var_3 -> 
+	happyIn20
 		 ((:) happy_var_1 happy_var_3
 	)}}
 
-happyReduce_36 = happyReduce 6# 15# happyReduction_36
-happyReduction_36 (happy_x_6 `HappyStk`
+happyReduce_38 = happyReduce 6# 16# happyReduction_38
+happyReduction_38 (happy_x_6 `HappyStk`
 	happy_x_5 `HappyStk`
 	happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut22 happy_x_3 of { happy_var_3 -> 
-	case happyOut20 happy_x_6 of { happy_var_6 -> 
-	happyIn20
+	 = case happyOut23 happy_x_3 of { happy_var_3 -> 
+	case happyOut21 happy_x_6 of { happy_var_6 -> 
+	happyIn21
 		 (ELet happy_var_3 happy_var_6
 	) `HappyStk` happyRest}}
 
-happyReduce_37 = happyReduce 6# 15# happyReduction_37
-happyReduction_37 (happy_x_6 `HappyStk`
+happyReduce_39 = happyReduce 6# 16# happyReduction_39
+happyReduction_39 (happy_x_6 `HappyStk`
 	happy_x_5 `HappyStk`
 	happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut20 happy_x_2 of { happy_var_2 -> 
-	case happyOut24 happy_x_5 of { happy_var_5 -> 
-	happyIn20
+	 = case happyOut21 happy_x_2 of { happy_var_2 -> 
+	case happyOut25 happy_x_5 of { happy_var_5 -> 
+	happyIn21
 		 (ECase happy_var_2 happy_var_5
 	) `HappyStk` happyRest}}
 
-happyReduce_38 = happyReduce 6# 15# happyReduction_38
-happyReduction_38 (happy_x_6 `HappyStk`
+happyReduce_40 = happyReduce 6# 16# happyReduction_40
+happyReduction_40 (happy_x_6 `HappyStk`
 	happy_x_5 `HappyStk`
 	happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut20 happy_x_2 of { happy_var_2 -> 
-	case happyOut20 happy_x_4 of { happy_var_4 -> 
-	case happyOut20 happy_x_6 of { happy_var_6 -> 
-	happyIn20
+	 = case happyOut21 happy_x_2 of { happy_var_2 -> 
+	case happyOut21 happy_x_4 of { happy_var_4 -> 
+	case happyOut21 happy_x_6 of { happy_var_6 -> 
+	happyIn21
 		 (EIf happy_var_2 happy_var_4 happy_var_6
 	) `HappyStk` happyRest}}}
 
-happyReduce_39 = happyReduce 5# 15# happyReduction_39
-happyReduction_39 (happy_x_5 `HappyStk`
+happyReduce_41 = happyReduce 5# 16# happyReduction_41
+happyReduction_41 (happy_x_5 `HappyStk`
 	happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut26 happy_x_3 of { happy_var_3 -> 
-	case happyOut20 happy_x_4 of { happy_var_4 -> 
-	happyIn20
+	 = case happyOut27 happy_x_3 of { happy_var_3 -> 
+	case happyOut21 happy_x_4 of { happy_var_4 -> 
+	happyIn21
 		 (EDo (reverse happy_var_3) happy_var_4
 	) `HappyStk` happyRest}}
 
-happyReduce_40 = happySpecReduce_1 15# happyReduction_40
-happyReduction_40 happy_x_1
-	 =  case happyOut44 happy_x_1 of { happy_var_1 -> 
-	happyIn20
+happyReduce_42 = happySpecReduce_1 16# happyReduction_42
+happyReduction_42 happy_x_1
+	 =  case happyOut45 happy_x_1 of { happy_var_1 -> 
+	happyIn21
 		 (happy_var_1
 	)}
 
-happyReduce_41 = happyReduce 5# 16# happyReduction_41
-happyReduction_41 (happy_x_5 `HappyStk`
+happyReduce_43 = happyReduce 5# 17# happyReduction_43
+happyReduction_43 (happy_x_5 `HappyStk`
 	happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
 	 = case happyOut5 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
-	case happyOut20 happy_x_5 of { happy_var_5 -> 
-	happyIn21
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
+	case happyOut21 happy_x_5 of { happy_var_5 -> 
+	happyIn22
 		 (LetDef happy_var_1 happy_var_3 happy_var_5
 	) `HappyStk` happyRest}}}
 
-happyReduce_42 = happySpecReduce_0 17# happyReduction_42
-happyReduction_42  =  happyIn22
+happyReduce_44 = happySpecReduce_0 18# happyReduction_44
+happyReduction_44  =  happyIn23
 		 ([]
 	)
 
-happyReduce_43 = happySpecReduce_1 17# happyReduction_43
-happyReduction_43 happy_x_1
-	 =  case happyOut21 happy_x_1 of { happy_var_1 -> 
-	happyIn22
+happyReduce_45 = happySpecReduce_1 18# happyReduction_45
+happyReduction_45 happy_x_1
+	 =  case happyOut22 happy_x_1 of { happy_var_1 -> 
+	happyIn23
 		 ((:[]) happy_var_1
 	)}
 
-happyReduce_44 = happySpecReduce_3 17# happyReduction_44
-happyReduction_44 happy_x_3
+happyReduce_46 = happySpecReduce_3 18# happyReduction_46
+happyReduction_46 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut21 happy_x_1 of { happy_var_1 -> 
-	case happyOut22 happy_x_3 of { happy_var_3 -> 
-	happyIn22
+	 =  case happyOut22 happy_x_1 of { happy_var_1 -> 
+	case happyOut23 happy_x_3 of { happy_var_3 -> 
+	happyIn23
 		 ((:) happy_var_1 happy_var_3
 	)}}
 
-happyReduce_45 = happySpecReduce_3 18# happyReduction_45
-happyReduction_45 happy_x_3
+happyReduce_47 = happySpecReduce_3 19# happyReduction_47
+happyReduction_47 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut15 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
-	happyIn23
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
+	happyIn24
 		 (Case happy_var_1 happy_var_3
 	)}}
 
-happyReduce_46 = happySpecReduce_0 19# happyReduction_46
-happyReduction_46  =  happyIn24
+happyReduce_48 = happySpecReduce_0 20# happyReduction_48
+happyReduction_48  =  happyIn25
 		 ([]
 	)
 
-happyReduce_47 = happySpecReduce_1 19# happyReduction_47
-happyReduction_47 happy_x_1
-	 =  case happyOut23 happy_x_1 of { happy_var_1 -> 
-	happyIn24
+happyReduce_49 = happySpecReduce_1 20# happyReduction_49
+happyReduction_49 happy_x_1
+	 =  case happyOut24 happy_x_1 of { happy_var_1 -> 
+	happyIn25
 		 ((:[]) happy_var_1
 	)}
 
-happyReduce_48 = happySpecReduce_3 19# happyReduction_48
-happyReduction_48 happy_x_3
+happyReduce_50 = happySpecReduce_3 20# happyReduction_50
+happyReduction_50 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut23 happy_x_1 of { happy_var_1 -> 
-	case happyOut24 happy_x_3 of { happy_var_3 -> 
-	happyIn24
+	 =  case happyOut24 happy_x_1 of { happy_var_1 -> 
+	case happyOut25 happy_x_3 of { happy_var_3 -> 
+	happyIn25
 		 ((:) happy_var_1 happy_var_3
 	)}}
 
-happyReduce_49 = happySpecReduce_3 20# happyReduction_49
-happyReduction_49 happy_x_3
+happyReduce_51 = happySpecReduce_3 21# happyReduction_51
+happyReduction_51 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut28 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
-	happyIn25
+	 =  case happyOut29 happy_x_1 of { happy_var_1 -> 
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
+	happyIn26
 		 (BindVar happy_var_1 happy_var_3
 	)}}
 
-happyReduce_50 = happySpecReduce_1 20# happyReduction_50
-happyReduction_50 happy_x_1
-	 =  case happyOut20 happy_x_1 of { happy_var_1 -> 
-	happyIn25
+happyReduce_52 = happySpecReduce_1 21# happyReduction_52
+happyReduction_52 happy_x_1
+	 =  case happyOut21 happy_x_1 of { happy_var_1 -> 
+	happyIn26
 		 (BindNoVar happy_var_1
 	)}
 
-happyReduce_51 = happySpecReduce_0 21# happyReduction_51
-happyReduction_51  =  happyIn26
+happyReduce_53 = happySpecReduce_0 22# happyReduction_53
+happyReduction_53  =  happyIn27
 		 ([]
 	)
 
-happyReduce_52 = happySpecReduce_3 21# happyReduction_52
-happyReduction_52 happy_x_3
+happyReduce_54 = happySpecReduce_3 22# happyReduction_54
+happyReduction_54 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut26 happy_x_1 of { happy_var_1 -> 
-	case happyOut25 happy_x_2 of { happy_var_2 -> 
-	happyIn26
+	 =  case happyOut27 happy_x_1 of { happy_var_1 -> 
+	case happyOut26 happy_x_2 of { happy_var_2 -> 
+	happyIn27
 		 (flip (:) happy_var_1 happy_var_2
 	)}}
 
-happyReduce_53 = happyReduce 4# 22# happyReduction_53
-happyReduction_53 (happy_x_4 `HappyStk`
+happyReduce_55 = happyReduce 4# 23# happyReduction_55
+happyReduction_55 (happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut28 happy_x_2 of { happy_var_2 -> 
-	case happyOut20 happy_x_4 of { happy_var_4 -> 
-	happyIn27
+	 = case happyOut29 happy_x_2 of { happy_var_2 -> 
+	case happyOut21 happy_x_4 of { happy_var_4 -> 
+	happyIn28
 		 (EAbs happy_var_2 happy_var_4
 	) `HappyStk` happyRest}}
 
-happyReduce_54 = happyReduce 7# 22# happyReduction_54
-happyReduction_54 (happy_x_7 `HappyStk`
+happyReduce_56 = happyReduce 7# 23# happyReduction_56
+happyReduction_56 (happy_x_7 `HappyStk`
 	happy_x_6 `HappyStk`
 	happy_x_5 `HappyStk`
 	happy_x_4 `HappyStk`
@@ -862,78 +884,61 @@ happyReduction_54 (happy_x_7 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut28 happy_x_2 of { happy_var_2 -> 
-	case happyOut20 happy_x_4 of { happy_var_4 -> 
-	case happyOut20 happy_x_7 of { happy_var_7 -> 
-	happyIn27
+	 = case happyOut29 happy_x_2 of { happy_var_2 -> 
+	case happyOut21 happy_x_4 of { happy_var_4 -> 
+	case happyOut21 happy_x_7 of { happy_var_7 -> 
+	happyIn28
 		 (EPi happy_var_2 happy_var_4 happy_var_7
 	) `HappyStk` happyRest}}}
 
-happyReduce_55 = happySpecReduce_3 22# happyReduction_55
-happyReduction_55 happy_x_3
+happyReduce_57 = happySpecReduce_3 23# happyReduction_57
+happyReduction_57 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut29 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
-	happyIn27
+	 =  case happyOut30 happy_x_1 of { happy_var_1 -> 
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
+	happyIn28
 		 (EPiNoVar happy_var_1 happy_var_3
 	)}}
 
-happyReduce_56 = happySpecReduce_1 22# happyReduction_56
-happyReduction_56 happy_x_1
-	 =  case happyOut29 happy_x_1 of { happy_var_1 -> 
-	happyIn27
+happyReduce_58 = happySpecReduce_1 23# happyReduction_58
+happyReduction_58 happy_x_1
+	 =  case happyOut30 happy_x_1 of { happy_var_1 -> 
+	happyIn28
 		 (happy_var_1
 	)}
 
-happyReduce_57 = happySpecReduce_1 23# happyReduction_57
-happyReduction_57 happy_x_1
+happyReduce_59 = happySpecReduce_1 24# happyReduction_59
+happyReduction_59 happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	happyIn28
+	happyIn29
 		 (VVar happy_var_1
 	)}
 
-happyReduce_58 = happySpecReduce_1 23# happyReduction_58
-happyReduction_58 happy_x_1
-	 =  happyIn28
+happyReduce_60 = happySpecReduce_1 24# happyReduction_60
+happyReduction_60 happy_x_1
+	 =  happyIn29
 		 (VWild
 	)
 
-happyReduce_59 = happySpecReduce_3 24# happyReduction_59
-happyReduction_59 happy_x_3
+happyReduce_61 = happySpecReduce_3 25# happyReduction_61
+happyReduction_61 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut29 happy_x_1 of { happy_var_1 -> 
-	case happyOut30 happy_x_3 of { happy_var_3 -> 
-	happyIn29
+	 =  case happyOut30 happy_x_1 of { happy_var_1 -> 
+	case happyOut31 happy_x_3 of { happy_var_3 -> 
+	happyIn30
 		 (EBind happy_var_1 happy_var_3
 	)}}
 
-happyReduce_60 = happySpecReduce_3 24# happyReduction_60
-happyReduction_60 happy_x_3
-	happy_x_2
-	happy_x_1
-	 =  case happyOut29 happy_x_1 of { happy_var_1 -> 
-	case happyOut30 happy_x_3 of { happy_var_3 -> 
-	happyIn29
-		 (EBindC happy_var_1 happy_var_3
-	)}}
-
-happyReduce_61 = happySpecReduce_1 24# happyReduction_61
-happyReduction_61 happy_x_1
-	 =  case happyOut30 happy_x_1 of { happy_var_1 -> 
-	happyIn29
-		 (happy_var_1
-	)}
-
 happyReduce_62 = happySpecReduce_3 25# happyReduction_62
 happyReduction_62 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut31 happy_x_1 of { happy_var_1 -> 
-	case happyOut30 happy_x_3 of { happy_var_3 -> 
+	 =  case happyOut30 happy_x_1 of { happy_var_1 -> 
+	case happyOut31 happy_x_3 of { happy_var_3 -> 
 	happyIn30
-		 (EOr happy_var_1 happy_var_3
+		 (EBindC happy_var_1 happy_var_3
 	)}}
 
 happyReduce_63 = happySpecReduce_1 25# happyReduction_63
@@ -950,7 +955,7 @@ happyReduction_64 happy_x_3
 	 =  case happyOut32 happy_x_1 of { happy_var_1 -> 
 	case happyOut31 happy_x_3 of { happy_var_3 -> 
 	happyIn31
-		 (EAnd happy_var_1 happy_var_3
+		 (EOr happy_var_1 happy_var_3
 	)}}
 
 happyReduce_65 = happySpecReduce_1 26# happyReduction_65
@@ -965,76 +970,76 @@ happyReduction_66 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut33 happy_x_1 of { happy_var_1 -> 
-	case happyOut33 happy_x_3 of { happy_var_3 -> 
+	case happyOut32 happy_x_3 of { happy_var_3 -> 
 	happyIn32
-		 (EEq happy_var_1 happy_var_3
+		 (EAnd happy_var_1 happy_var_3
 	)}}
 
-happyReduce_67 = happySpecReduce_3 27# happyReduction_67
-happyReduction_67 happy_x_3
-	happy_x_2
-	happy_x_1
+happyReduce_67 = happySpecReduce_1 27# happyReduction_67
+happyReduction_67 happy_x_1
 	 =  case happyOut33 happy_x_1 of { happy_var_1 -> 
-	case happyOut33 happy_x_3 of { happy_var_3 -> 
 	happyIn32
-		 (ENe happy_var_1 happy_var_3
-	)}}
+		 (happy_var_1
+	)}
 
-happyReduce_68 = happySpecReduce_3 27# happyReduction_68
+happyReduce_68 = happySpecReduce_3 28# happyReduction_68
 happyReduction_68 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut33 happy_x_1 of { happy_var_1 -> 
-	case happyOut33 happy_x_3 of { happy_var_3 -> 
-	happyIn32
-		 (ELt happy_var_1 happy_var_3
+	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
+	case happyOut34 happy_x_3 of { happy_var_3 -> 
+	happyIn33
+		 (EEq happy_var_1 happy_var_3
 	)}}
 
-happyReduce_69 = happySpecReduce_3 27# happyReduction_69
+happyReduce_69 = happySpecReduce_3 28# happyReduction_69
 happyReduction_69 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut33 happy_x_1 of { happy_var_1 -> 
-	case happyOut33 happy_x_3 of { happy_var_3 -> 
-	happyIn32
-		 (ELe happy_var_1 happy_var_3
+	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
+	case happyOut34 happy_x_3 of { happy_var_3 -> 
+	happyIn33
+		 (ENe happy_var_1 happy_var_3
 	)}}
 
-happyReduce_70 = happySpecReduce_3 27# happyReduction_70
+happyReduce_70 = happySpecReduce_3 28# happyReduction_70
 happyReduction_70 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut33 happy_x_1 of { happy_var_1 -> 
-	case happyOut33 happy_x_3 of { happy_var_3 -> 
-	happyIn32
-		 (EGt happy_var_1 happy_var_3
+	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
+	case happyOut34 happy_x_3 of { happy_var_3 -> 
+	happyIn33
+		 (ELt happy_var_1 happy_var_3
 	)}}
 
-happyReduce_71 = happySpecReduce_3 27# happyReduction_71
+happyReduce_71 = happySpecReduce_3 28# happyReduction_71
 happyReduction_71 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut33 happy_x_1 of { happy_var_1 -> 
-	case happyOut33 happy_x_3 of { happy_var_3 -> 
-	happyIn32
-		 (EGe happy_var_1 happy_var_3
+	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
+	case happyOut34 happy_x_3 of { happy_var_3 -> 
+	happyIn33
+		 (ELe happy_var_1 happy_var_3
 	)}}
 
-happyReduce_72 = happySpecReduce_1 27# happyReduction_72
-happyReduction_72 happy_x_1
-	 =  case happyOut33 happy_x_1 of { happy_var_1 -> 
-	happyIn32
-		 (happy_var_1
-	)}
+happyReduce_72 = happySpecReduce_3 28# happyReduction_72
+happyReduction_72 happy_x_3
+	happy_x_2
+	happy_x_1
+	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
+	case happyOut34 happy_x_3 of { happy_var_3 -> 
+	happyIn33
+		 (EGt happy_var_1 happy_var_3
+	)}}
 
 happyReduce_73 = happySpecReduce_3 28# happyReduction_73
 happyReduction_73 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
-	case happyOut33 happy_x_3 of { happy_var_3 -> 
+	case happyOut34 happy_x_3 of { happy_var_3 -> 
 	happyIn33
-		 (EListCons happy_var_1 happy_var_3
+		 (EGe happy_var_1 happy_var_3
 	)}}
 
 happyReduce_74 = happySpecReduce_1 28# happyReduction_74
@@ -1048,73 +1053,75 @@ happyReduce_75 = happySpecReduce_3 29# happyReduction_75
 happyReduction_75 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
-	case happyOut35 happy_x_3 of { happy_var_3 -> 
-	happyIn34
-		 (EAdd happy_var_1 happy_var_3
-	)}}
-
-happyReduce_76 = happySpecReduce_3 29# happyReduction_76
-happyReduction_76 happy_x_3
-	happy_x_2
-	happy_x_1
-	 =  case happyOut34 happy_x_1 of { happy_var_1 -> 
-	case happyOut35 happy_x_3 of { happy_var_3 -> 
+	 =  case happyOut35 happy_x_1 of { happy_var_1 -> 
+	case happyOut34 happy_x_3 of { happy_var_3 -> 
 	happyIn34
-		 (ESub happy_var_1 happy_var_3
+		 (EListCons happy_var_1 happy_var_3
 	)}}
 
-happyReduce_77 = happySpecReduce_1 29# happyReduction_77
-happyReduction_77 happy_x_1
+happyReduce_76 = happySpecReduce_1 29# happyReduction_76
+happyReduction_76 happy_x_1
 	 =  case happyOut35 happy_x_1 of { happy_var_1 -> 
 	happyIn34
 		 (happy_var_1
 	)}
 
-happyReduce_78 = happySpecReduce_3 30# happyReduction_78
-happyReduction_78 happy_x_3
+happyReduce_77 = happySpecReduce_3 30# happyReduction_77
+happyReduction_77 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut35 happy_x_1 of { happy_var_1 -> 
 	case happyOut36 happy_x_3 of { happy_var_3 -> 
 	happyIn35
-		 (EMul happy_var_1 happy_var_3
+		 (EAdd happy_var_1 happy_var_3
 	)}}
 
-happyReduce_79 = happySpecReduce_3 30# happyReduction_79
-happyReduction_79 happy_x_3
+happyReduce_78 = happySpecReduce_3 30# happyReduction_78
+happyReduction_78 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut35 happy_x_1 of { happy_var_1 -> 
 	case happyOut36 happy_x_3 of { happy_var_3 -> 
 	happyIn35
-		 (EDiv happy_var_1 happy_var_3
+		 (ESub happy_var_1 happy_var_3
 	)}}
 
-happyReduce_80 = happySpecReduce_3 30# happyReduction_80
+happyReduce_79 = happySpecReduce_1 30# happyReduction_79
+happyReduction_79 happy_x_1
+	 =  case happyOut36 happy_x_1 of { happy_var_1 -> 
+	happyIn35
+		 (happy_var_1
+	)}
+
+happyReduce_80 = happySpecReduce_3 31# happyReduction_80
 happyReduction_80 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut35 happy_x_1 of { happy_var_1 -> 
-	case happyOut36 happy_x_3 of { happy_var_3 -> 
-	happyIn35
-		 (EMod happy_var_1 happy_var_3
+	 =  case happyOut36 happy_x_1 of { happy_var_1 -> 
+	case happyOut37 happy_x_3 of { happy_var_3 -> 
+	happyIn36
+		 (EMul happy_var_1 happy_var_3
 	)}}
 
-happyReduce_81 = happySpecReduce_1 30# happyReduction_81
-happyReduction_81 happy_x_1
+happyReduce_81 = happySpecReduce_3 31# happyReduction_81
+happyReduction_81 happy_x_3
+	happy_x_2
+	happy_x_1
 	 =  case happyOut36 happy_x_1 of { happy_var_1 -> 
-	happyIn35
-		 (happy_var_1
-	)}
+	case happyOut37 happy_x_3 of { happy_var_3 -> 
+	happyIn36
+		 (EDiv happy_var_1 happy_var_3
+	)}}
 
-happyReduce_82 = happySpecReduce_2 31# happyReduction_82
-happyReduction_82 happy_x_2
+happyReduce_82 = happySpecReduce_3 31# happyReduction_82
+happyReduction_82 happy_x_3
+	happy_x_2
 	happy_x_1
-	 =  case happyOut36 happy_x_2 of { happy_var_2 -> 
+	 =  case happyOut36 happy_x_1 of { happy_var_1 -> 
+	case happyOut37 happy_x_3 of { happy_var_3 -> 
 	happyIn36
-		 (ENeg happy_var_2
-	)}
+		 (EMod happy_var_1 happy_var_3
+	)}}
 
 happyReduce_83 = happySpecReduce_1 31# happyReduction_83
 happyReduction_83 happy_x_1
@@ -1126,11 +1133,10 @@ happyReduction_83 happy_x_1
 happyReduce_84 = happySpecReduce_2 32# happyReduction_84
 happyReduction_84 happy_x_2
 	happy_x_1
-	 =  case happyOut37 happy_x_1 of { happy_var_1 -> 
-	case happyOut38 happy_x_2 of { happy_var_2 -> 
+	 =  case happyOut37 happy_x_2 of { happy_var_2 -> 
 	happyIn37
-		 (EApp happy_var_1 happy_var_2
-	)}}
+		 (ENeg happy_var_2
+	)}
 
 happyReduce_85 = happySpecReduce_1 32# happyReduction_85
 happyReduction_85 happy_x_1
@@ -1139,14 +1145,13 @@ happyReduction_85 happy_x_1
 		 (happy_var_1
 	)}
 
-happyReduce_86 = happySpecReduce_3 33# happyReduction_86
-happyReduction_86 happy_x_3
-	happy_x_2
+happyReduce_86 = happySpecReduce_2 33# happyReduction_86
+happyReduction_86 happy_x_2
 	happy_x_1
 	 =  case happyOut38 happy_x_1 of { happy_var_1 -> 
-	case happyOut5 happy_x_3 of { happy_var_3 -> 
+	case happyOut39 happy_x_2 of { happy_var_2 -> 
 	happyIn38
-		 (EProj happy_var_1 happy_var_3
+		 (EApp happy_var_1 happy_var_2
 	)}}
 
 happyReduce_87 = happySpecReduce_1 33# happyReduction_87
@@ -1156,169 +1161,186 @@ happyReduction_87 happy_x_1
 		 (happy_var_1
 	)}
 
-happyReduce_88 = happyReduce 4# 34# happyReduction_88
-happyReduction_88 (happy_x_4 `HappyStk`
+happyReduce_88 = happySpecReduce_3 34# happyReduction_88
+happyReduction_88 happy_x_3
+	happy_x_2
+	happy_x_1
+	 =  case happyOut39 happy_x_1 of { happy_var_1 -> 
+	case happyOut5 happy_x_3 of { happy_var_3 -> 
+	happyIn39
+		 (EProj happy_var_1 happy_var_3
+	)}}
+
+happyReduce_89 = happySpecReduce_1 34# happyReduction_89
+happyReduction_89 happy_x_1
+	 =  case happyOut40 happy_x_1 of { happy_var_1 -> 
+	happyIn39
+		 (happy_var_1
+	)}
+
+happyReduce_90 = happyReduce 4# 35# happyReduction_90
+happyReduction_90 (happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut41 happy_x_3 of { happy_var_3 -> 
-	happyIn39
+	 = case happyOut42 happy_x_3 of { happy_var_3 -> 
+	happyIn40
 		 (ERecType happy_var_3
 	) `HappyStk` happyRest}
 
-happyReduce_89 = happyReduce 4# 34# happyReduction_89
-happyReduction_89 (happy_x_4 `HappyStk`
+happyReduce_91 = happyReduce 4# 35# happyReduction_91
+happyReduction_91 (happy_x_4 `HappyStk`
 	happy_x_3 `HappyStk`
 	happy_x_2 `HappyStk`
 	happy_x_1 `HappyStk`
 	happyRest)
-	 = case happyOut43 happy_x_3 of { happy_var_3 -> 
-	happyIn39
+	 = case happyOut44 happy_x_3 of { happy_var_3 -> 
+	happyIn40
 		 (ERec happy_var_3
 	) `HappyStk` happyRest}
 
-happyReduce_90 = happySpecReduce_3 34# happyReduction_90
-happyReduction_90 happy_x_3
+happyReduce_92 = happySpecReduce_3 35# happyReduction_92
+happyReduction_92 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut45 happy_x_2 of { happy_var_2 -> 
-	happyIn39
+	 =  case happyOut46 happy_x_2 of { happy_var_2 -> 
+	happyIn40
 		 (EList happy_var_2
 	)}
 
-happyReduce_91 = happySpecReduce_1 34# happyReduction_91
-happyReduction_91 happy_x_1
+happyReduce_93 = happySpecReduce_1 35# happyReduction_93
+happyReduction_93 happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	happyIn39
+	happyIn40
 		 (EVar happy_var_1
 	)}
 
-happyReduce_92 = happySpecReduce_1 34# happyReduction_92
-happyReduction_92 happy_x_1
-	 =  happyIn39
+happyReduce_94 = happySpecReduce_1 35# happyReduction_94
+happyReduction_94 happy_x_1
+	 =  happyIn40
 		 (EType
 	)
 
-happyReduce_93 = happySpecReduce_1 34# happyReduction_93
-happyReduction_93 happy_x_1
+happyReduce_95 = happySpecReduce_1 35# happyReduction_95
+happyReduction_95 happy_x_1
 	 =  case happyOut6 happy_x_1 of { happy_var_1 -> 
-	happyIn39
+	happyIn40
 		 (EStr happy_var_1
 	)}
 
-happyReduce_94 = happySpecReduce_1 34# happyReduction_94
-happyReduction_94 happy_x_1
+happyReduce_96 = happySpecReduce_1 35# happyReduction_96
+happyReduction_96 happy_x_1
 	 =  case happyOut7 happy_x_1 of { happy_var_1 -> 
-	happyIn39
+	happyIn40
 		 (EInt happy_var_1
 	)}
 
-happyReduce_95 = happySpecReduce_1 34# happyReduction_95
-happyReduction_95 happy_x_1
-	 =  happyIn39
+happyReduce_97 = happySpecReduce_1 35# happyReduction_97
+happyReduction_97 happy_x_1
+	 =  happyIn40
 		 (EMeta
 	)
 
-happyReduce_96 = happySpecReduce_3 34# happyReduction_96
-happyReduction_96 happy_x_3
+happyReduce_98 = happySpecReduce_3 35# happyReduction_98
+happyReduction_98 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut20 happy_x_2 of { happy_var_2 -> 
-	happyIn39
+	 =  case happyOut21 happy_x_2 of { happy_var_2 -> 
+	happyIn40
 		 (happy_var_2
 	)}
 
-happyReduce_97 = happySpecReduce_3 35# happyReduction_97
-happyReduction_97 happy_x_3
+happyReduce_99 = happySpecReduce_3 36# happyReduction_99
+happyReduction_99 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
-	happyIn40
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
+	happyIn41
 		 (FieldType happy_var_1 happy_var_3
 	)}}
 
-happyReduce_98 = happySpecReduce_0 36# happyReduction_98
-happyReduction_98  =  happyIn41
+happyReduce_100 = happySpecReduce_0 37# happyReduction_100
+happyReduction_100  =  happyIn42
 		 ([]
 	)
 
-happyReduce_99 = happySpecReduce_1 36# happyReduction_99
-happyReduction_99 happy_x_1
-	 =  case happyOut40 happy_x_1 of { happy_var_1 -> 
-	happyIn41
+happyReduce_101 = happySpecReduce_1 37# happyReduction_101
+happyReduction_101 happy_x_1
+	 =  case happyOut41 happy_x_1 of { happy_var_1 -> 
+	happyIn42
 		 ((:[]) happy_var_1
 	)}
 
-happyReduce_100 = happySpecReduce_3 36# happyReduction_100
-happyReduction_100 happy_x_3
+happyReduce_102 = happySpecReduce_3 37# happyReduction_102
+happyReduction_102 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut40 happy_x_1 of { happy_var_1 -> 
-	case happyOut41 happy_x_3 of { happy_var_3 -> 
-	happyIn41
+	 =  case happyOut41 happy_x_1 of { happy_var_1 -> 
+	case happyOut42 happy_x_3 of { happy_var_3 -> 
+	happyIn42
 		 ((:) happy_var_1 happy_var_3
 	)}}
 
-happyReduce_101 = happySpecReduce_3 37# happyReduction_101
-happyReduction_101 happy_x_3
+happyReduce_103 = happySpecReduce_3 38# happyReduction_103
+happyReduction_103 happy_x_3
 	happy_x_2
 	happy_x_1
 	 =  case happyOut5 happy_x_1 of { happy_var_1 -> 
-	case happyOut20 happy_x_3 of { happy_var_3 -> 
-	happyIn42
+	case happyOut21 happy_x_3 of { happy_var_3 -> 
+	happyIn43
 		 (FieldValue happy_var_1 happy_var_3
 	)}}
 
-happyReduce_102 = happySpecReduce_0 38# happyReduction_102
-happyReduction_102  =  happyIn43
+happyReduce_104 = happySpecReduce_0 39# happyReduction_104
+happyReduction_104  =  happyIn44
 		 ([]
 	)
 
-happyReduce_103 = happySpecReduce_1 38# happyReduction_103
-happyReduction_103 happy_x_1
-	 =  case happyOut42 happy_x_1 of { happy_var_1 -> 
-	happyIn43
+happyReduce_105 = happySpecReduce_1 39# happyReduction_105
+happyReduction_105 happy_x_1
+	 =  case happyOut43 happy_x_1 of { happy_var_1 -> 
+	happyIn44
 		 ((:[]) happy_var_1
 	)}
 
-happyReduce_104 = happySpecReduce_3 38# happyReduction_104
-happyReduction_104 happy_x_3
+happyReduce_106 = happySpecReduce_3 39# happyReduction_106
+happyReduction_106 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut42 happy_x_1 of { happy_var_1 -> 
-	case happyOut43 happy_x_3 of { happy_var_3 -> 
-	happyIn43
+	 =  case happyOut43 happy_x_1 of { happy_var_1 -> 
+	case happyOut44 happy_x_3 of { happy_var_3 -> 
+	happyIn44
 		 ((:) happy_var_1 happy_var_3
 	)}}
 
-happyReduce_105 = happySpecReduce_1 39# happyReduction_105
-happyReduction_105 happy_x_1
-	 =  case happyOut27 happy_x_1 of { happy_var_1 -> 
-	happyIn44
+happyReduce_107 = happySpecReduce_1 40# happyReduction_107
+happyReduction_107 happy_x_1
+	 =  case happyOut28 happy_x_1 of { happy_var_1 -> 
+	happyIn45
 		 (happy_var_1
 	)}
 
-happyReduce_106 = happySpecReduce_0 40# happyReduction_106
-happyReduction_106  =  happyIn45
+happyReduce_108 = happySpecReduce_0 41# happyReduction_108
+happyReduction_108  =  happyIn46
 		 ([]
 	)
 
-happyReduce_107 = happySpecReduce_1 40# happyReduction_107
-happyReduction_107 happy_x_1
-	 =  case happyOut20 happy_x_1 of { happy_var_1 -> 
-	happyIn45
+happyReduce_109 = happySpecReduce_1 41# happyReduction_109
+happyReduction_109 happy_x_1
+	 =  case happyOut21 happy_x_1 of { happy_var_1 -> 
+	happyIn46
 		 ((:[]) happy_var_1
 	)}
 
-happyReduce_108 = happySpecReduce_3 40# happyReduction_108
-happyReduction_108 happy_x_3
+happyReduce_110 = happySpecReduce_3 41# happyReduction_110
+happyReduction_110 happy_x_3
 	happy_x_2
 	happy_x_1
-	 =  case happyOut20 happy_x_1 of { happy_var_1 -> 
-	case happyOut45 happy_x_3 of { happy_var_3 -> 
-	happyIn45
+	 =  case happyOut21 happy_x_1 of { happy_var_1 -> 
+	case happyOut46 happy_x_3 of { happy_var_3 -> 
+	happyIn46
 		 ((:) happy_var_1 happy_var_3
 	)}}
 
@@ -1333,15 +1355,15 @@ happyNewToken action sts stk (tk:tks) =
 	PT _ (TS "{") -> cont 3#;
 	PT _ (TS "}") -> cont 4#;
 	PT _ (TS "=") -> cont 5#;
-	PT _ (TS "(") -> cont 6#;
-	PT _ (TS ")") -> cont 7#;
-	PT _ (TS "_") -> cont 8#;
-	PT _ (TS "->") -> cont 9#;
-	PT _ (TS "<-") -> cont 10#;
-	PT _ (TS "\\") -> cont 11#;
-	PT _ (TS ">>=") -> cont 12#;
-	PT _ (TS ">>") -> cont 13#;
-	PT _ (TS "||") -> cont 14#;
+	PT _ (TS "||") -> cont 6#;
+	PT _ (TS "(") -> cont 7#;
+	PT _ (TS ")") -> cont 8#;
+	PT _ (TS "_") -> cont 9#;
+	PT _ (TS "->") -> cont 10#;
+	PT _ (TS "<-") -> cont 11#;
+	PT _ (TS "\\") -> cont 12#;
+	PT _ (TS ">>=") -> cont 13#;
+	PT _ (TS ">>") -> cont 14#;
 	PT _ (TS "&&") -> cont 15#;
 	PT _ (TS "==") -> cont 16#;
 	PT _ (TS "/=") -> cont 17#;
@@ -1398,7 +1420,7 @@ pModule tks = happySomeParser where
   happySomeParser = happyThen (happyParse 0# tks) (\x -> happyReturn (happyOut8 x))
 
 pExp tks = happySomeParser where
-  happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut20 x))
+  happySomeParser = happyThen (happyParse 1# tks) (\x -> happyReturn (happyOut21 x))
 
 happySeq = happyDontSeq
 
diff --git a/src/Transfer/Syntax/Par.y b/src/Transfer/Syntax/Par.y
index 313977c77..3ed2c3141 100644
--- a/src/Transfer/Syntax/Par.y
+++ b/src/Transfer/Syntax/Par.y
@@ -19,6 +19,7 @@ import Transfer.ErrM
  '{' { PT _ (TS "{") }
  '}' { PT _ (TS "}") }
  '=' { PT _ (TS "=") }
+ '||' { PT _ (TS "||") }
  '(' { PT _ (TS "(") }
  ')' { PT _ (TS ")") }
  '_' { PT _ (TS "_") }
@@ -27,7 +28,6 @@ import Transfer.ErrM
  '\\' { PT _ (TS "\\") }
  '>>=' { PT _ (TS ">>=") }
  '>>' { PT _ (TS ">>") }
- '||' { PT _ (TS "||") }
  '&&' { PT _ (TS "&&") }
  '==' { PT _ (TS "==") }
  '/=' { PT _ (TS "/=") }
@@ -112,23 +112,28 @@ ListConsDecl : {- empty -} { [] }
 
 
 Pattern :: { Pattern }
-Pattern : Ident Pattern1 ListPattern { PConsTop $1 $2 (reverse $3) } 
+Pattern : Pattern1 '||' Pattern { POr $1 $3 } 
   | Pattern1 { $1 }
 
 
 Pattern1 :: { Pattern }
-Pattern1 : '(' Ident ListPattern ')' { PCons $2 (reverse $3) } 
-  | 'rec' '{' ListFieldPattern '}' { PRec $3 }
+Pattern1 : Ident Pattern2 ListPattern { PConsTop $1 $2 (reverse $3) } 
+  | Pattern2 { $1 }
+
+
+Pattern2 :: { Pattern }
+Pattern2 : 'rec' '{' ListFieldPattern '}' { PRec $3 } 
   | 'Type' { PType }
   | String { PStr $1 }
   | Integer { PInt $1 }
   | Ident { PVar $1 }
   | '_' { PWild }
+  | '(' Pattern ')' { $2 }
 
 
 ListPattern :: { [Pattern] }
 ListPattern : {- empty -} { [] } 
-  | ListPattern Pattern1 { flip (:) $1 $2 }
+  | ListPattern Pattern2 { flip (:) $1 $2 }
 
 
 FieldPattern :: { FieldPattern }
diff --git a/src/Transfer/Syntax/Print.hs b/src/Transfer/Syntax/Print.hs
index cc93f4383..cd0975fa8 100644
--- a/src/Transfer/Syntax/Print.hs
+++ b/src/Transfer/Syntax/Print.hs
@@ -87,14 +87,15 @@ instance Print (Tree c) where
     ValueDecl i patterns exp -> prPrec _i 0 (concatD [prt 0 i , prt 0 patterns , doc (showString "=") , prt 0 exp])
     DeriveDecl i0 i1 -> prPrec _i 0 (concatD [doc (showString "derive") , prt 0 i0 , prt 0 i1])
     ConsDecl i exp -> prPrec _i 0 (concatD [prt 0 i , doc (showString ":") , prt 0 exp])
-    PConsTop i pattern patterns -> prPrec _i 0 (concatD [prt 0 i , prt 1 pattern , prt 0 patterns])
-    PCons i patterns -> prPrec _i 1 (concatD [doc (showString "(") , prt 0 i , prt 0 patterns , doc (showString ")")])
-    PRec fieldpatterns -> prPrec _i 1 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")])
-    PType  -> prPrec _i 1 (concatD [doc (showString "Type")])
-    PStr str -> prPrec _i 1 (concatD [prt 0 str])
-    PInt n -> prPrec _i 1 (concatD [prt 0 n])
-    PVar i -> prPrec _i 1 (concatD [prt 0 i])
-    PWild  -> prPrec _i 1 (concatD [doc (showString "_")])
+    POr pattern0 pattern1 -> prPrec _i 0 (concatD [prt 1 pattern0 , doc (showString "||") , prt 0 pattern1])
+    PConsTop i pattern patterns -> prPrec _i 1 (concatD [prt 0 i , prt 2 pattern , prt 0 patterns])
+    PCons i patterns -> prPrec _i 2 (concatD [doc (showString "(") , prt 0 i , prt 0 patterns , doc (showString ")")])
+    PRec fieldpatterns -> prPrec _i 2 (concatD [doc (showString "rec") , doc (showString "{") , prt 0 fieldpatterns , doc (showString "}")])
+    PType  -> prPrec _i 2 (concatD [doc (showString "Type")])
+    PStr str -> prPrec _i 2 (concatD [prt 0 str])
+    PInt n -> prPrec _i 2 (concatD [prt 0 n])
+    PVar i -> prPrec _i 2 (concatD [prt 0 i])
+    PWild  -> prPrec _i 2 (concatD [doc (showString "_")])
     FieldPattern i pattern -> prPrec _i 0 (concatD [prt 0 i , doc (showString "=") , prt 0 pattern])
     ELet letdefs exp -> prPrec _i 0 (concatD [doc (showString "let") , doc (showString "{") , prt 0 letdefs , doc (showString "}") , doc (showString "in") , prt 0 exp])
     ECase exp cases -> prPrec _i 0 (concatD [doc (showString "case") , prt 0 exp , doc (showString "of") , doc (showString "{") , prt 0 cases , doc (showString "}")])
@@ -158,7 +159,7 @@ instance Print [ConsDecl] where
 instance Print [Pattern] where
   prt _ es = case es of
    [] -> (concatD [])
-   x:xs -> (concatD [prt 1 x , prt 0 xs])
+   x:xs -> (concatD [prt 2 x , prt 0 xs])
 instance Print [FieldPattern] where
   prt _ es = case es of
    [] -> (concatD [])
diff --git a/src/Transfer/Syntax/Skel.hs b/src/Transfer/Syntax/Skel.hs
index 680ea1256..d9e51e9f6 100644
--- a/src/Transfer/Syntax/Skel.hs
+++ b/src/Transfer/Syntax/Skel.hs
@@ -18,6 +18,7 @@ transTree t = case t of
   ValueDecl i patterns exp -> failure t
   DeriveDecl i0 i1 -> failure t
   ConsDecl i exp -> failure t
+  POr pattern0 pattern1 -> failure t
   PConsTop i pattern patterns -> failure t
   PCons i patterns -> failure t
   PRec fieldpatterns -> failure t
@@ -92,6 +93,7 @@ transConsDecl t = case t of
 
 transPattern :: Pattern -> Result
 transPattern t = case t of
+  POr pattern0 pattern1 -> failure t
   PConsTop i pattern patterns -> failure t
   PCons i patterns -> failure t
   PRec fieldpatterns -> failure t
diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf
index b64edb438..3550786d5 100644
--- a/src/Transfer/Syntax/Syntax.cf
+++ b/src/Transfer/Syntax/Syntax.cf
@@ -21,27 +21,33 @@ separator Decl ";" ;
 ConsDecl. ConsDecl ::= Ident ":" Exp ;
 separator ConsDecl ";" ;
 
+-- Disjunctive patterns.
+POr.      Pattern ::= Pattern1 "||" Pattern ;
+
 -- Hack: constructor applied to at least one pattern
 -- this is to separate it from variable patterns
-PConsTop. Pattern ::= Ident Pattern1 [Pattern] ;
-_.        Pattern ::= Pattern1 ;
--- Constructor pattern with parantheses
-PCons.    Pattern1 ::= "(" Ident [Pattern] ")" ;
+PConsTop. Pattern1 ::= Ident Pattern2 [Pattern] ;
+
+-- Real constructor pattern
+internal PCons.    Pattern2 ::= "(" Ident [Pattern] ")" ;
+
 -- Record patterns
-PRec.     Pattern1 ::= "rec" "{" [FieldPattern] "}";
+PRec.     Pattern2 ::= "rec" "{" [FieldPattern] "}";
 -- The pattern matching the Type constant
-PType.    Pattern1 ::= "Type" ;
+PType.    Pattern2 ::= "Type" ;
 -- String literal patterns
-PStr.     Pattern1 ::= String ;
+PStr.     Pattern2 ::= String ;
 -- Integer literal patterns
-PInt.     Pattern1 ::= Integer ;
+PInt.     Pattern2 ::= Integer ;
 -- Variable patterns
-PVar.     Pattern1 ::= Ident ;
+PVar.     Pattern2 ::= Ident ;
 -- Wild card patterns
-PWild.    Pattern1 ::= "_" ;
+PWild.    Pattern2 ::= "_" ;
+
+coercions Pattern 2 ;
 
 [].  [Pattern] ::= ;
-(:). [Pattern] ::= Pattern1 [Pattern] ;
+(:). [Pattern] ::= Pattern2 [Pattern] ;
 
 FieldPattern. FieldPattern ::= Ident "=" Pattern ;
 separator FieldPattern ";" ;
diff --git a/src/Transfer/SyntaxToCore.hs b/src/Transfer/SyntaxToCore.hs
index f3e7f828d..586160ebe 100644
--- a/src/Transfer/SyntaxToCore.hs
+++ b/src/Transfer/SyntaxToCore.hs
@@ -33,6 +33,7 @@ declsToCore_ =     desugar
                >>> deriveDecls
                >>> replaceCons 
                >>> compilePattDecls 
+               >>> expandOrPatts
                >>> optimize
 
 optimize :: [Decl] -> C [Decl]
@@ -344,6 +345,34 @@ fieldPatternVars :: Ident -> [FieldPattern] -> [Ident]
 fieldPatternVars f fps = [p | FieldPattern f' (PVar p) <- fps, f == f']
 
 --
+-- * Expand disjunctive patterns.
+--
+
+expandOrPatts :: [Decl] -> C [Decl]
+expandOrPatts = return . map f
+ where
+ f :: Tree a -> Tree a
+ f x = case x of
+              ECase e cs -> ECase (f e) (concatMap (expandCase . f) cs)
+              _          -> composOp f x
+
+expandCase :: Case -> [Case]
+expandCase (Case p e) = [ Case p' e | p' <- expandPatt p ]
+
+expandPatt :: Pattern -> [Pattern]
+expandPatt p = case p of
+                    POr p1 p2  -> expandPatt p1 ++ expandPatt p2
+                    PCons i ps -> map (PCons i) $ expandPatts ps
+                    PRec fps   -> let (fs,ps) = unzip $ fromPRec fps
+                                      fpss = map (zip fs) (expandPatts ps)
+                                   in map (PRec . toPRec) fpss
+                    _ -> [p]
+
+expandPatts :: [Pattern] -> [[Pattern]]
+expandPatts [] = [[]]
+expandPatts (p:ps) = [ p':ps' | p' <- expandPatt p, ps' <- expandPatts ps]
+
+--
 -- * Remove simple syntactic sugar.
 --
 
@@ -549,6 +578,12 @@ isValueDecl :: Ident -> Decl -> Bool
 isValueDecl x (ValueDecl y _ _) = x == y
 isValueDecl _ _ = False
 
+fromPRec :: [FieldPattern] -> [(Ident,Pattern)]
+fromPRec fps = [ (l,p) | FieldPattern l p <- fps ]
+
+toPRec :: [(Ident,Pattern)] -> [FieldPattern]
+toPRec = map (uncurry FieldPattern)
+
 --
 -- * Data types
 --