Describir: Projektování ASŘ s využitím typizace