Pointfree forms of Dowker’s and Michael’s insertion theorems