Stronger typing