Bättre typ-säkerhet