split-editing

edited formalization; created ali-commands.tex and
operational-semantics.tex