Added OpSem.hs for Ch.2