Add new seqexpr design

Author: hcnelson99

bytecode/bytecode.pdf

@@ -63,7 +63,7 @@ \section{Bytecode Abstract Syntax}
   & |   & \keyw{let} x=e~\keyw{in}~e                                     &\\
   & |   & \mathscr{L}                                                    &\\
   & |   & e.\keyw{match} \overline{x:p.L \Rightarrow e} ~[\keyw{else} e] &\\
-  & |   & \overline{e}                                                   &\\
+  & |   & \overline{e ~| ~d}                                             &\\
 &&\\
 \mathscr{L} & ::= & string & literals \\
 & | & integer &\\