Added unary negation to converter and squashed some bugs