HomeIsabelle/Phabricator

eliminiated neg_numeral in favour of - (numeral _)