Unary operations and type checker are OK