match.pd ((T)(T2)x -> (T)x): Remove restriction on final precision not matching mode...