Встроенный язык и библиотека типов