В оценке "mashaaaa" вполне солидарен с Гришей. Но и "typechecker" - хорошо (как и история появления). А если, как сейчас, есть возможность соединять - совсем замечательно).