Whataretypesystemsgoodfor(1)detectingacertainclassofruntimeerrors-E.g. published presentations and documents on DocSlides.