added unary inversion and not
added tests for unary and binary not (and made reals work)