Improve unary rules

Add `true` value for unary operators so these rules would be consistent with newly updated binary rules and more tests