ghci/scripts/ghci016: Add implementation for negate