Account for default cases in specification file
Rollback defunct entry for regression testing exp/grpatch
TEST: nonboolean, including "<" operator
Syntactic enforcement of nonboolean lower bound