bugfix: give default labels to the exceptions thrown by enforceFoo/2
rudimentary testing
enforcement tests; fixed label