Describir: Tvorba a využívání typového aplikačního programového vybavení