Ebooki oznaczone: system typowania statycznego