Remove (progn) from with-eval-after-load
Improve with-eval-after-load polyfill