examine types appearing in the given file