This should still include comparison of implicit values (or at least the ones that will make it into the merged version)