I think forcing it makes sense for now.  

We're about to do a whole bunch of work on it, so I don't think performance should be affected by this.  Later on, we can consider making the tile shape be something exposed by `Expr`.