literal value constraints