Proper handling of negations in mapping and dereified result
Support for constraints