Fixed #24, Resolved #20, Resolved #32, Resolved #33

Also changed class structure to something more lasting; for now some examples will need prefix constant in Disjunction.js toggled in order to work.