Harmonizing Program Induction with Rate-Distortion Theory