Type Checking Coherent Overloading