Feature expm periodic

I think it'd be worth having a comment why we need to add the diffOrder to the dimension in the cases where we're not using Fourier discretization, and why we can avoid doing it in the Fourier case. Perhaps @nickhale or @tobydriscoll might have a comment on why we had to do this in the first place?