поддержка ASSERT и HALT
именованые типы и поддержка WITH