Adapted bexp to the refactorings of core/operation. Removed Symmetries.