forgot to commit a bunch of changes -- new macros in open-logic.sty, structures now with variable assignments, defined semantic notions