Implemented simple negated terms

As described in #117