Scheme.any, Pure.abs gets constraint