Changes:
-Rearranged some of the portions in the Embed section.
-Changed term "automaton rule" to "local tree" in the Embed section and indicated in the first paragraph that we are working exclusively with automaton rules.
-Reworded documentation of function headers in Embed code so that both the preconditions and postconditions are implicitly stated, rather than the preconditions being implicit and the postconditions explicit.