Describir: Typizace a experimentální ověřování ve výstavbě