This introduces action definitions which can then be instantiated to form actual actions with expressions as their parameters.