Further progress (theoretically it should be able to detect some impr…
011217b
…orer usages involving generics)