MADIL: An MDL-based Framework for Efficient Program Synthesis in the ARC Benchmark