Type inference, udrbane ':=' a nahradene '=', pridane exceptions