A step towards using the type system to ensure we don't mix up
positions and momenta.