Abstracted environment for theory specifications.
Half of Sec 1.2 done.
Progress on Sec 1.2