consolidate check-types into check-types-pred, and remove dead code
check-types-pred 3 arg version