starting the process of selectifying texts
add functionalty for enumerate by tag, selectify terms-formulas.tex
finish selectifying syntax-and-semantics chapter
load default config always, then load \jobname-config
Merge pull request #16 from rzach/primitives

Selectify text: different sets of primitives -- merging this into the master repo