revised benchmarks; started to look into type inconsistency analysis