Describir: Vybrané okruhy typizace v ASŘ