diff --git a/icfp-2016/paper.tex b/icfp-2016/paper.tex
deleted file mode 100644
index 57dbefa..0000000
--- a/icfp-2016/paper.tex
+++ /dev/null
@@ -1,578 +0,0 @@
-\documentclass[onecolumn]{sigplanconf}
-\usepackage[utf8]{inputenc}
-\usepackage[T1]{fontenc}
-\usepackage{times}
-\usepackage{qcourier}
-
-\newcommand{\packageGraphicx}{\usepackage{graphicx}}
-\newcommand{\packageHyperref}{\usepackage{hyperref}}
-\newcommand{\renewrmdefault}{\renewcommand{\rmdefault}{ptm}}
-\newcommand{\packageRelsize}{\usepackage{relsize}}
-\newcommand{\packageMathabx}{\usepackage{mathabx}}
-% Avoid conflicts between "mathabx" and "wasysym":
-\newcommand{\packageWasysym}{
-  \let\leftmoon\relax \let\rightmoon\relax \let\fullmoon\relax \let\newmoon\relax \let\diameter\relax
-  \usepackage{wasysym}}
-\newcommand{\packageTextcomp}{\usepackage{textcomp}}
-\newcommand{\packageFramed}{\usepackage{framed}}
-\newcommand{\packageHyphenat}{\usepackage[htt]{hyphenat}}
-\newcommand{\packageColor}{\usepackage[usenames,dvipsnames]{color}}
-\newcommand{\doHypersetup}{\hypersetup{bookmarks=true,bookmarksopen=true,bookmarksnumbered=true}}
-\newcommand{\packageTocstyle}{\IfFileExists{tocstyle.sty}{\usepackage{tocstyle}\usetocstyle{standard}}{}}
-\newcommand{\packageCJK}{\IfFileExists{CJK.sty}{\usepackage{CJK}}{}}
-
-% this bit intentionally left blank
-% This is the default style configuration for Scribble-generated Latex
-
-\packageGraphicx
-\packageHyperref
-\renewrmdefault
-\packageRelsize
-\packageMathabx
-\packageWasysym
-\packageTextcomp
-\packageFramed
-\packageHyphenat
-\packageColor
-\doHypersetup
-\packageTocstyle
-\packageCJK
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Configuration that is especially meant to be overridden:
-
-% Inserted before every ``chapter'', useful for starting each one on a new page:
-\newcommand{\sectionNewpage}{}
-% Inserted before every book ``part''
-\newcommand{\partNewpage}{\sectionNewpage}
-
-% Hooks for actions within the `document' environment:
-\newcommand{\preDoc}{}
-\newcommand{\postDoc}{}
-
-% Generated by `secref'; first arg is section number, second is section title:
-\newcommand{\BookRef}[2]{\emph{#2}}
-\newcommand{\ChapRef}[2]{\SecRef{#1}{#2}}
-\newcommand{\SecRef}[2]{section~#1}
-\newcommand{\PartRef}[2]{part~#1}
-% Generated by `Secref':
-\newcommand{\BookRefUC}[2]{\BookRef{#1}{#2}}
-\newcommand{\ChapRefUC}[2]{\SecRefUC{#1}{#2}}
-\newcommand{\SecRefUC}[2]{Section~#1}
-\newcommand{\PartRefUC}[2]{Part~#1}
-
-% Variants of the above with a label for an internal reference:
-\newcommand{\BookRefLocal}[3]{\hyperref[#1]{\BookRef{#2}{#3}}}
-\newcommand{\ChapRefLocal}[3]{\hyperref[#1]{\ChapRef{#2}{#3}}}
-\newcommand{\SecRefLocal}[3]{\hyperref[#1]{\SecRef{#2}{#3}}}
-\newcommand{\PartRefLocal}[3]{\hyperref[#1]{\PartRef{#2}{#3}}}
-\newcommand{\BookRefLocalUC}[3]{\hyperref[#1]{\BookRefUC{#2}{#3}}}
-\newcommand{\ChapRefLocalUC}[3]{\hyperref[#1]{\ChapRefUC{#2}{#3}}}
-\newcommand{\SecRefLocalUC}[3]{\hyperref[#1]{\SecRefUC{#2}{#3}}}
-\newcommand{\PartRefLocalUC}[3]{\hyperref[#1]{\PartRefUC{#2}{#3}}}
-
-% Variants of the above with a section number is empty (i.e., UnNumbered):
-\newcommand{\BookRefUN}[1]{\BookRef{}{#1}}
-\newcommand{\ChapRefUN}[1]{\SecRefUN{#1}}
-\newcommand{\SecRefUN}[1]{``#1''}
-\newcommand{\PartRefUN}[1]{\SecRefUN{#1}}
-\newcommand{\BookRefUCUN}[1]{\BookRefUN{#1}}
-\newcommand{\ChapRefUCUN}[1]{\ChapRefUN{#1}}
-\newcommand{\SecRefUCUN}[1]{\SecRefUN{#1}}
-\newcommand{\PartRefUCUN}[1]{\PartRefUN{#1}}
-
-\newcommand{\BookRefLocalUN}[2]{\hyperref[#1]{\BookRefUN{#2}}}
-\newcommand{\ChapRefLocalUN}[2]{\SecRefLocalUN{#1}{#2}}
-\newcommand{\SecRefLocalUN}[2]{\SecRefUN{#2} on page~\pageref{#1}}
-\newcommand{\PartRefLocalUN}[2]{\SecRefLocalUN{#1}{#2}}
-\newcommand{\BookRefLocalUCUN}[2]{\BookRefLocalUN{#1}{#2}}
-\newcommand{\ChapRefLocalUCUN}[2]{\ChapRefLocalUN{#1}{#2}}
-\newcommand{\SecRefLocalUCUN}[2]{\SecRefLocalUN{#1}{#2}}
-\newcommand{\PartRefLocalUCUN}[2]{\PartRefLocalUN{#1}{#2}}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Fonts
-
-% Font commands used by generated text:
-\newcommand{\Scribtexttt}[1]{{\texttt{#1}}}
-\newcommand{\textsub}[1]{$_{\hbox{\textsmaller{#1}}}$}
-\newcommand{\textsuper}[1]{$^{\hbox{\textsmaller{#1}}}$}
-\newcommand{\intextcolor}[2]{\textcolor{#1}{#2}}
-\newcommand{\intextrgbcolor}[2]{\textcolor[rgb]{#1}{#2}}
-\newcommand{\incolorbox}[2]{{\fboxrule=0pt\fboxsep=0pt\colorbox{#1}{#2}}}
-\newcommand{\inrgbcolorbox}[2]{{\fboxrule=0pt\fboxsep=0pt\colorbox[rgb]{#1}{#2}}}
-\newcommand{\plainlink}[1]{#1}
-\newcommand{\techoutside}[1]{#1}
-\newcommand{\techinside}[1]{#1}
-\newcommand{\badlink}[1]{#1}
-\newcommand{\indexlink}[1]{#1}
-\newcommand{\noborder}[1]{#1}
-\newcommand{\Smaller}[1]{\textsmaller{#1}}
-\newcommand{\Larger}[1]{\textlarger{#1}}
-\newcommand{\planetName}[1]{PLane\hspace{-0.1ex}T}
-\newcommand{\slant}[1]{{\textsl{#1}}}
-
-% Used for <, >, and | in tt mode. For some fonts and installations,
-% there seems to be an encoding issue, so pick T1 explicitly:
-\newcommand{\Stttextmore}{{\fontencoding{T1}\selectfont>}}
-\newcommand{\Stttextless}{{\fontencoding{T1}\selectfont<}}
-\newcommand{\Stttextbar}{{\fontencoding{T1}\selectfont|}}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Tables
-
-% The `stabular' environment seems to be the lesser of evils among 
-%  page-breaking table environments (and we've made a copy as ``pltstabular'
-%  to make sure that it doesn't change).
-
-\makeatletter
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\message{pltstabular is a modification of stabular}
-%% A renamed vsetion of:
-%% stabular.sty
-%% Copyright 1998 Sigitas Tolu\v sis
-%% VTeX Ltd., Akademijos 4, Vilnius, Lithuania
-%% e-mail sigitas@vtex.lt
-%% http://www.vtex.lt/tex/download/macros/
-%%
-% This program can redistributed and/or modified under the terms
-% of the LaTeX Project Public License Distributed from CTAN
-% archives in directory macros/latex/base/lppl.txt; either
-% version 1 of the License, or (at your option) any later version.
-%
-% PURPOSE:   Improve tabular environment.
-%
-% SHORT DESCRIPTION:
-%
-% Changed internal commands: \@mkpream, \@addamp, \@xhline
-%
-% Provides new commands in tabular (used after command \\):
-% \emptyrow[#1] 
-% -------------
-%    Adds empty row, #1 - height of the row 
-%
-% \tabrow{#1}[#2] 
-% ---------------
-%    Adds row of natural height: #1\\[#2]
-%
-% Provides new environments: pltstabular and pltstabular* 
-%                            --------     ---------
-%            One more multi-page version of tabular
-%
-%
-\def\empty@finalstrut#1{%
-  \unskip\ifhmode\nobreak\fi\vrule\@width\z@\@height\z@\@depth\z@}
-\def\no@strut{\global\setbox\@arstrutbox\hbox{%
-    \vrule \@height\z@
-           \@depth\z@
-           \@width\z@}%
-    \gdef\@endpbox{\empty@finalstrut\@arstrutbox\par\egroup\hfil}%
-}%
-\def\yes@strut{\global\setbox\@arstrutbox\hbox{%
-    \vrule \@height\arraystretch \ht\strutbox
-           \@depth\arraystretch \dp\strutbox
-           \@width\z@}%
-    \gdef\@endpbox{\@finalstrut\@arstrutbox\par\egroup\hfil}%
-}%
-\def\@mkpream#1{\@firstamptrue\@lastchclass6
-  \let\@preamble\@empty\def\empty@preamble{\add@ins}%
-  \let\protect\@unexpandable@protect
-  \let\@sharp\relax\let\add@ins\relax
-  \let\@startpbox\relax\let\@endpbox\relax
-  \@expast{#1}%
-  \expandafter\@tfor \expandafter
-    \@nextchar \expandafter:\expandafter=\reserved@a\do
-       {\@testpach\@nextchar
-    \ifcase \@chclass \@classz \or \@classi \or \@classii \or \@classiii
-      \or \@classiv \or\@classv \fi\@lastchclass\@chclass}%
-  \ifcase \@lastchclass \@acol
-      \or \or \@preamerr \@ne\or \@preamerr \tw@\or \or \@acol \fi}
-\def\@addamp{%
-  \if@firstamp
-    \@firstampfalse
-    \edef\empty@preamble{\add@ins}%
-  \else
-    \edef\@preamble{\@preamble &}%
-    \edef\empty@preamble{\expandafter\noexpand\empty@preamble &\add@ins}%
-  \fi}
-\newif\iftw@hlines \tw@hlinesfalse
-\def\@xhline{\ifx\reserved@a\hline
-               \tw@hlinestrue
-             \else\ifx\reserved@a\Hline
-               \tw@hlinestrue
-             \else
-               \tw@hlinesfalse
-             \fi\fi
-      \iftw@hlines
-        \aftergroup\do@after
-      \fi
-      \ifnum0=`{\fi}%
-}
-\def\do@after{\emptyrow[\the\doublerulesep]}
-\def\emptyrow{\noalign\bgroup\@ifnextchar[\@emptyrow{\@emptyrow[\z@]}}
-\def\@emptyrow[#1]{\no@strut\gdef\add@ins{\vrule \@height\z@ \@depth#1 \@width\z@}\egroup%
-\empty@preamble\\
-\noalign{\yes@strut\gdef\add@ins{\vrule \@height\z@ \@depth\z@ \@width\z@}}%
-}
-\def\tabrow#1{\noalign\bgroup\@ifnextchar[{\@tabrow{#1}}{\@tabrow{#1}[]}}
-\def\@tabrow#1[#2]{\no@strut\egroup#1\ifx.#2.\\\else\\[#2]\fi\noalign{\yes@strut}}
-%
-\def\endpltstabular{\crcr\egroup\egroup \egroup}
-\expandafter \let \csname endpltstabular*\endcsname = \endpltstabular
-\def\pltstabular{\let\@halignto\@empty\@pltstabular}
-\@namedef{pltstabular*}#1{\def\@halignto{to#1}\@pltstabular}
-\def\@pltstabular{\leavevmode \bgroup \let\@acol\@tabacol
-   \let\@classz\@tabclassz
-   \let\@classiv\@tabclassiv \let\\\@tabularcr\@stabarray}
-\def\@stabarray{\m@th\@ifnextchar[\@sarray{\@sarray[c]}}
-\def\@sarray[#1]#2{%
-  \bgroup
-  \setbox\@arstrutbox\hbox{%
-    \vrule \@height\arraystretch\ht\strutbox
-           \@depth\arraystretch \dp\strutbox
-           \@width\z@}%
-  \@mkpream{#2}%
-  \edef\@preamble{%
-    \ialign \noexpand\@halignto
-      \bgroup \@arstrut \@preamble \tabskip\z@skip \cr}%
-  \let\@startpbox\@@startpbox \let\@endpbox\@@endpbox
-  \let\tabularnewline\\%
-%    \let\par\@empty
-    \let\@sharp##%
-    \set@typeset@protect
-    \lineskip\z@skip\baselineskip\z@skip
-    \@preamble}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\makeatother
-
-\newenvironment{bigtabular}{\begin{pltstabular}}{\end{pltstabular}}
-% For the 'boxed table style:
-\newcommand{\SBoxedLeft}{\textcolor[rgb]{0.6,0.6,1.0}{\vrule width 3pt\hspace{3pt}}}
-% Formerly used to keep the horizontal line for a definition on the same page:
-\newcommand{\SEndFirstHead}[0]{ \nopagebreak \\ }
-% Corrects weirdness when a table is the first thing in
-%  an itemization:
-\newcommand{\bigtableinlinecorrect}[0]{~
-
-\vspace{-\baselineskip}\vspace{\parskip}}
-% Used to indent the table correctly in an itemization, since that's
-%  one of the things stabular gets wrong:
-\newlength{\stabLeft}
-\newcommand{\bigtableleftpad}{\hspace{\stabLeft}}
-\newcommand{\atItemizeStart}[0]{\addtolength{\stabLeft}{\labelsep}
-                                \addtolength{\stabLeft}{\labelwidth}}
-
-
-% For a single-column table in simple environments, it's better to
-%  use the `list' environment instead of `stabular'.
-\newenvironment{SingleColumn}{\begin{list}{}{\topsep=0pt\partopsep=0pt%
-\listparindent=0pt\itemindent=0pt\labelwidth=0pt\leftmargin=0pt\rightmargin=0pt%
-\itemsep=0pt\parsep=0pt}\item}{\end{list}}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Etc.
-
-% ._ and .__
-\newcommand{\Sendabbrev}[1]{#1\@}
-\newcommand{\Sendsentence}[1]{\@#1}
-
-% Default style for a nested flow:
-\newenvironment{Subflow}{\begin{list}{}{\topsep=0pt\partopsep=0pt%
-\listparindent=0pt\itemindent=0pt\labelwidth=0pt\leftmargin=0pt\rightmargin=0pt%
-\itemsep=0pt}\item}{\end{list}}
-
-% For the 'inset nested-flow style:
-\newenvironment{SInsetFlow}{\begin{quote}}{\end{quote}}
-
-% Indent a 'code-inset nested flow:
-\newcommand{\SCodePreSkip}{\vskip\abovedisplayskip}
-\newcommand{\SCodePostSkip}{\vskip\belowdisplayskip}
-\newenvironment{SCodeFlow}{\SCodePreSkip\begin{list}{}{\topsep=0pt\partopsep=0pt%
-\listparindent=0pt\itemindent=0pt\labelwidth=0pt\leftmargin=2ex\rightmargin=2ex%
-\itemsep=0pt\parsep=0pt}\item}{\end{list}\SCodePostSkip}
-\newcommand{\SCodeInsetBox}[1]{\setbox1=\hbox{\hbox{\hspace{2ex}#1\hspace{2ex}}}\vbox{\SCodePreSkip\vtop{\box1\SCodePostSkip}}}
-
-% Inset a 'vertical-inset nested flow:
-\newcommand{\SVInsetPreSkip}{\vskip\abovedisplayskip}
-\newcommand{\SVInsetPostSkip}{\vskip\belowdisplayskip}
-\newenvironment{SVInsetFlow}{\SVInsetPreSkip\begin{list}{}{\topsep=0pt\partopsep=0pt%
-\listparindent=0pt\itemindent=0pt\labelwidth=0pt\leftmargin=0pt\rightmargin=0pt%
-\itemsep=0pt\parsep=0pt}\item}{\end{list}\SVInsetPostSkip}
-\newcommand{\SVInsetBox}[1]{\setbox1=\hbox{\hbox{#1}}\vbox{\SCodePreSkip\vtop{\box1\SCodePostSkip}}}
-
-% The 'compact itemization style:
-\newenvironment{compact}{\begin{itemize}}{\end{itemize}}
-\newcommand{\compactItem}[1]{\item #1}
-
-% The nested-flow style for `centerline':
-\newenvironment{SCentered}{\begin{trivlist}\item \centering}{\end{trivlist}}
-
-% The \refpara command corresponds to `margin-note'. The
-% refcolumn and refcontent environments also wrap the note,
-% because they simplify the CSS side.
-\newcommand{\refpara}[1]{\normalmarginpar\marginpar{\raggedright \footnotesize #1}}
-\newcommand{\refelem}[1]{\refpara{#1}}
-\newenvironment{refcolumn}{}{}
-\newenvironment{refcontent}{}{}
-
-\newcommand{\refparaleft}[1]{\reversemarginpar\marginpar{\raggedright \footnotesize #1}}
-\newcommand{\refelemleft}[1]{\refparaleft{#1}}
-\newenvironment{refcolumnleft}{}{}
-
-% Macros used by `title' and `author':
-\newcommand{\titleAndVersionAndAuthors}[3]{\title{#1\\{\normalsize \SVersionBefore{}#2}}\author{#3}\maketitle}
-\newcommand{\titleAndVersionAndEmptyAuthors}[3]{\title{#1\\{\normalsize \SVersionBefore{}#2}}#3\maketitle}
-\newcommand{\titleAndEmptyVersionAndAuthors}[3]{\title{#1}\author{#3}\maketitle}
-\newcommand{\titleAndEmptyVersionAndEmptyAuthors}[3]{\title{#1}\maketitle}
-\newcommand{\SAuthor}[1]{#1}
-\newcommand{\SAuthorSep}[1]{\qquad}
-\newcommand{\SVersionBefore}[1]{Version }
-
-% Useful for some styles, such as sigalternate:
-\newcommand{\SNumberOfAuthors}[1]{}
-
-\let\SOriginalthesubsection\thesubsection
-\let\SOriginalthesubsubsection\thesubsubsection
-
-% sections
-\newcommand{\Spart}[2]{\part[#1]{#2}}
-\newcommand{\Ssection}[2]{\section[#1]{#2}\let\thesubsection\SOriginalthesubsection}
-\newcommand{\Ssubsection}[2]{\subsection[#1]{#2}\let\thesubsubsection\SOriginalthesubsubsection}
-\newcommand{\Ssubsubsection}[2]{\subsubsection[#1]{#2}}
-\newcommand{\Ssubsubsubsection}[2]{{\bf #2}}
-\newcommand{\Ssubsubsubsubsection}[2]{\Ssubsubsubsection{#1}{#2}}
-
-% "star" means unnumbered and not in ToC:
-\newcommand{\Spartstar}[1]{\part*{#1}}
-\newcommand{\Ssectionstar}[1]{\section*{#1}\renewcommand*\thesubsection{\arabic{subsection}}\setcounter{subsection}{0}}
-\newcommand{\Ssubsectionstar}[1]{\subsection*{#1}\renewcommand*\thesubsubsection{\arabic{section}.\arabic{subsubsection}}\setcounter{subsubsection}{0}}
-\newcommand{\Ssubsubsectionstar}[1]{\subsubsection*{#1}}
-\newcommand{\Ssubsubsubsectionstar}[1]{{\bf #1}}
-\newcommand{\Ssubsubsubsubsectionstar}[1]{\Ssubsubsubsectionstar{#1}}
-
-% "starx" means unnumbered but in ToC:
-\newcommand{\Spartstarx}[2]{\Spartstar{#2}\addcontentsline{toc}{part}{#1}}
-\newcommand{\Ssectionstarx}[2]{\Ssectionstar{#2}\addcontentsline{toc}{section}{#1}}
-\newcommand{\Ssubsectionstarx}[2]{\Ssubsectionstar{#2}\addcontentsline{toc}{subsection}{#1}}
-\newcommand{\Ssubsubsectionstarx}[2]{\Ssubsubsectionstar{#2}\addcontentsline{toc}{subsubsection}{#1}}
-\newcommand{\Ssubsubsubsectionstarx}[2]{\Ssubsubsubsectionstar{#2}}
-\newcommand{\Ssubsubsubsubsectionstarx}[2]{\Ssubsubsubsubsectionstar{#2}}
-
-% "grouper" is for the 'grouper style variant --- on subsections and lower,
-%  because \Spart is used for grouper at the section level. Grouper implies
-%  unnumbered.
-\newcounter{GrouperTemp}
-\newcommand{\Ssubsectiongrouper}[2]{\setcounter{GrouperTemp}{\value{subsection}}\Ssubsectionstarx{#1}{#2}\setcounter{subsection}{\value{GrouperTemp}}}
-\newcommand{\Ssubsubsectiongrouper}[2]{\setcounter{GrouperTemp}{\value{subsubsection}}\Ssubsubsectionstarx{#1}{#2}\setcounter{subsubsection}{\value{GrouperTemp}}}
-\newcommand{\Ssubsubsubsectiongrouper}[2]{\Ssubsubsubsectionstarx{#1}{#2}}
-\newcommand{\Ssubsubsubsubsectiongrouper}[2]{\Ssubsubsubsubsectionstarx{#1}{#2}}
-
-\newcommand{\Ssubsectiongrouperstar}[1]{\setcounter{GrouperTemp}{\value{subsection}}\Ssubsectionstar{#1}\setcounter{subsection}{\value{GrouperTemp}}}
-\newcommand{\Ssubsubsectiongrouperstar}[1]{\setcounter{GrouperTemp}{\value{subsubsection}}\Ssubsubsectionstar{#1}\setcounter{subsubsection}{\value{GrouperTemp}}}
-\newcommand{\Ssubsubsubsectiongrouperstar}[1]{\Ssubsubsubsectionstar{#1}}
-\newcommand{\Ssubsubsubsubsectiongrouperstar}[1]{\Ssubsubsubsubsectionstar{#1}}
-
-\newcommand{\Ssubsectiongrouperstarx}[2]{\setcounter{GrouperTemp}{\value{subsection}}\Ssubsectionstarx{#1}{#2}\setcounter{subsection}{\value{GrouperTemp}}}
-\newcommand{\Ssubsubsectiongrouperstarx}[2]{\setcounter{GrouperTemp}{\value{subsubsection}}\Ssubsubsectionstarx{#1}{#2}\setcounter{subsubsection}{\value{GrouperTemp}}}
-\newcommand{\Ssubsubsubsectiongrouperstarx}[2]{\Ssubsubsubsectionstarx{#1}{#2}}
-\newcommand{\Ssubsubsubsubsectiongrouperstarx}[2]{\Ssubsubsubsubsectionstarx{#1}{#2}}
-
-% Generated by `subsubsub*section':
-\newcommand{\SSubSubSubSection}[1]{\Ssubsubsubsubsectionstar{#1}}
-
-% For hidden parts with an empty title:
-\newcommand{\notitlesection}{\vspace{2ex}\phantomsection\noindent}
-
-% To increments section numbers:
-\newcommand{\Sincpart}{\stepcounter{part}}
-\newcommand{\Sincsection}{\stepcounter{section}}
-\newcommand{\Sincsubsection}{\stepcounter{subsection}}
-\newcommand{\Sincsubsubsection}{\stepcounter{subsubsection}}
-\newcommand{\Sincsubsubsubsection}{}
-\newcommand{\Sincsubsubsubsubsection}{}
-
-% When brackets appear in section titles:
-\newcommand{\SOpenSq}{[}
-\newcommand{\SCloseSq}{]}
-
-% Helper for box-mode macros:
-\newcommand{\Svcenter}[1]{$\vcenter{#1}$}
-
-% Helper to work around a problem with "#"s for URLs within \href
-% within other macros:
-\newcommand{\Shref}[3]{\href{#1\##2}{#3}}
-
-% For URLs:
-\newcommand{\Snolinkurl}[1]{\nolinkurl{#1}}
-
-% History note:
-\newcommand{\SHistory}[1]{\begin{smaller}#1\end{smaller}}
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-% Scribble then generates the following:
-%
-%  \begin{document}
-%  \preDoc
-%  \titleAndVersion{...}{...}
-%  ... document content ...
-%  \postDoc
-%  \end{document}
-
-% Support for styles in scribble/sigplan
-
-% These are replaced by scribble/sigplan/style.tex,
-%  which is used in combination with sigplanconf.sty
-
-\newcommand{\SAuthorinfo}[3]{#1}
-\newcommand{\SAuthorPlace}[1]{#1}
-\newcommand{\SAuthorEmail}[1]{#1}
-
-\newcommand{\SConferenceInfo}[2]{}
-\newcommand{\SCopyrightYear}[1]{}
-\newcommand{\SCopyrightData}[1]{}
-\newcommand{\Sdoi}[1]{}
-\newcommand{\SPexclusivelicense}[0]{}
-
-\newcommand{\SCategory}[3]{}
-\newcommand{\SCategoryPlus}[4]{}
-\newcommand{\STerms}[1]{}
-\newcommand{\SKeywords}[1]{}
-
-% Normally gets re-written by the title macro:
-\newcommand{\SSubtitle}[1]{{\bf #1}}
-
-\newenvironment{AutoBibliography}{\begin{small}}{\end{small}}
-\newcommand{\Autobibentry}[1]{\hspace{0.05\linewidth}\parbox[t]{0.95\linewidth}{\parindent=-0.05\linewidth#1\vspace{1.0ex}}}
-
-\usepackage{calc}
-\newlength{\ABcollength}
-\newcommand{\Autocolbibnumber}[1]{\parbox[t]{5ex}{\hfill#1~~\vspace{1.0ex}}}
-\newcommand{\Autocolbibentry}[1]{\setlength{\ABcollength}{\linewidth-5ex}\parbox[t]{\ABcollength}{#1\vspace{1.0ex}}}
-
-% Define \SXtitle to lift \SSubtitle out:
-\def\SXtitle#1{\title{\let\SSubtitle\SSubtitleDrop#1}\SExtractSubtitle#1\SExtractSubtitleDone}
-\def\SSubtitleDrop#1{}
-\def\SExtractSubtitleDone {}
-\def\SExtractSubtitle{\futurelet\next\SExtractSubtitleX}
-\def\SExtractSubtitleX#1{\ifx#1\SSubtitle \let\Snext\SWithSubtitle \else \let\Snext\SExtractSubtitleY \fi \Snext}
-\def\SExtractSubtitleY{\ifx\next\SExtractSubtitleDone \let\Snext\relax \else \let\Snext\SExtractSubtitle \fi \Snext}
-\def\SWithSubtitle#1{\subtitle{#1}\SExtractSubtitle}
-
-\renewcommand{\titleAndVersionAndAuthors}[3]{\SXtitle{#1}#3\maketitle}
-\renewcommand{\titleAndEmptyVersionAndAuthors}[3]{\titleAndVersionAndAuthors{#1}{#2}{#3}}
-\renewcommand{\titleAndVersionAndEmptyAuthors}[3]{\SXtitle{#1}\authorinfo{Anonymous}{}{}\maketitle}
-\renewcommand{\titleAndEmptyVersionAndEmptyAuthors}[3]{\titleAndVersionAndEmptyAuthors{#1}{#2}{#3}}
-
-% Support plain `author' while enabling `authorinfo': for each
-% use of \SAuthor, check whether it contains an \SAuthorinfo form:
-\def\SAuthor#1{\SAutoAuthor#1\SAutoAuthorDone{#1}}
-\def\SAutoAuthorDone#1{}
-\def\SAutoAuthor{\futurelet\next\SAutoAuthorX}
-\def\SAutoAuthorX{\ifx\next\SAuthorinfo \let\Snext\relax \else \let\Snext\SToAuthorDone \fi \Snext}
-\def\SToAuthorDone{\futurelet\next\SToAuthorDoneX}
-\def\SToAuthorDoneX#1{\ifx\next\SAutoAuthorDone \let\Snext\SAddAuthorInfo \else \let\Snext\SToAuthorDone \fi \Snext}
-\newcommand{\SAddAuthorInfo}[1]{\authorinfo{#1}{}{}}
-
-\renewcommand{\SAuthorinfo}[3]{\authorinfo{#1}{#2}{#3}}
-\renewcommand{\SAuthorSep}[1]{}
-
-\renewcommand{\SConferenceInfo}[2]{\conferenceinfo{#1}{#2}}
-\renewcommand{\SCopyrightYear}[1]{\copyrightyear{#1}}
-\renewcommand{\SCopyrightData}[1]{\copyrightdata{#1}}
-\renewcommand{\Sdoi}[1]{\doi{#1}}
-\renewcommand{\SPexclusivelicense}[0]{\exclusivelicense}
-
-\renewcommand{\SCategory}[3]{\category{#1}{#2}{#3}}
-\renewcommand{\SCategoryPlus}[4]{\category{#1}{#2}{#3}[#4]}
-\renewcommand{\STerms}[1]{\terms{#1}}
-\renewcommand{\SKeywords}[1]{\keywords{#1}}
-
-% A later \doi will replace this one:
-\doi{}
-% Better horizontal rules
-\usepackage{booktabs}
-
-% Use Tikz (and other pkgs) for Ben's picture
-% xcolor MUST come first!!! https://en.wikibooks.org/wiki/LaTeX/Colors
-\usepackage[usenames,dvipsnames]{xcolor}
-\usepackage{tikz}
-\usetikzlibrary{shapes.geometric}
-\usepackage{graphicx}
-\usepackage{multicol}
-
-% Override Scribble's default SecRef to numeric only
-\renewcommand{\SecRef}[2]{~#1}
-
-\hypersetup{hidelinks} 
-
-\usepackage[scaled=0.95]{zi4}
-\usepackage[T1]{fontenc}
-
-% For bib style
-\newcommand{\Thyperref}[2]{\hyperref[#2]{#1}}
-
-% Disable hrule for figures
-\renewcommand{\Legend}[1]{~ \vspace{4pt} \legend{#1}}
-
-%%% From Ben's treepict work
-
-%% Import and print the pictures for a project
-%% Arguments:
-%% - Name of the project
-\newcommand{\pict}[1]{\begin{tabular}{c}\scalebox{0.6}{\input{module-graphs/#1}}\end{tabular}}
-
-\newcommand{\rkt}[2]{$\bullet$}
-
-%% To show overfull, turn off for production!!!
-\overfullrule=1mm
-
-%% Artifact badge!
-\usepackage[firstpage]{draftwatermark}
-\SetWatermarkText{\hspace*{8in}\raisebox{7.0in}{\includegraphics[scale=0.1]{aec-badge-popl}}}
-\SetWatermarkAngle{0}
-
-%% balance last page columns
-\usepackage{flushend}
-
-%% for figure 2
-\let\ulcorner\relax
-\let\urcorner\relax
-\let\llcorner\relax
-\let\lrcorner\relax
-\usepackage{amssymb}
-\begin{document}
-\preDoc
-\titleAndEmptyVersionAndAuthors{Do we \textit{really} need Dependent Types?}{}{\SNumberOfAuthors{1}\SAuthor{\SAuthorinfo{Ben Greenman and Matthias Felleisen}{\SAuthorPlace{Northeastern University, Boston, USA}}{\SAuthorEmail{}}}}
-\label{t:x28part_x22Dox5fwex5freallyx5fneedx5fDependentx5fTypesx5fx22x29}
-
-
-
-\begin{abstract}\end{abstract}
-
-\SCategory{D.3.3}{Programming Languages}{Language Constructs and Features}
-\STerms{Performance, Experimentation, Measurement}
-
-\sectionNewpage
-
-\Ssection{Outline}{Outline}\label{t:x28part_x22Outlinex22x29}
-
-
-
-\Ssubsection{Story}{Story}\label{t:x28part_x22Storyx22x29}
-
-
-
-\Ssubsection{Applications}{Applications}\label{t:x28part_x22Applicationsx22x29}
-
-
-
-\sectionNewpage
-
-\Ssectionstarx{References}{References}\label{t:x28part_x22docx2dbibliographyx22x29}
-
-\begin{AutoBibliography}\begin{SingleColumn}\end{SingleColumn}\end{AutoBibliography}
-
-\postDoc
-\end{document}