get labelClosuresTheory to build with new semantics

mostly just adding cases for the new expression constructors