feat(library/definitional): add auxiliary functions
feat(library/definitional): add brec_on construction, closes #272