We can also avoid creating unit memrefs and casting to unranked because there is no longer a requirement to have static shape as far as I am aware.