Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.

\input{\pathtotrunk preamble.tex}
\input{\pathtotrunk text/kw_macros}
\input{\pathtotrunk talks/beamer_preamble.tex}

% This switches fonts to the Palatino family.
%  \renewcommand{\familydefault}{ppl}

\usepackage{array}