Higher Gradient Theories and Their Foundations