(Fmake_overlay, Foverlay_properties, Foverlay_get, Foverlay_put): Use new