Modify the estimate checker to check for type
Modify the estimate checker to check for type


Former-commit-id: 7c096d149eaac43dd4fa6858186c3dba90a14298 [formerly 16a2c91231564c57e3bf8de5418e14c382153c97]
Former-commit-id: 1688f3236542720baf0b0861b99c0aab2760b5c9
Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide