Describir: Dynamický prekladač zápisu špecifikácie z HSSL jazyka