Constructive insertion theorems and extension theorems on extremally disconnected frames