1) lays out a generalized version of OT's theory of production, introducing some notational and representational conventions that may be useful to others and will be important below.
all objects are represented as strings, or as functions that map strings to strings.