Added: Coverage test for type check failing
Added: Proper operator balancing