rewrote type diff based in explicit type graph representation; removed old equiv(); new test
rewrote type diff based in explicit type graph representation; removed old equiv(); new test
use type diff to filter null-related warnings; fixed bug in type diff
bug fixes