Theoretical Foundations for Higher Order Dynamic Mode Decompositions*