Added ability to specify core.logic constraints about an expression