Pensieve header: The $sl_2^{(k)}$-invariant using pushforwards.

Primary challenge: Implement 𝔼[ω,L,Q,P]//Φ[...] where

𝔼[ω,L,Q,P] stands for (ω^(-1))(e^(L+(ω^(-1))(Q+ϵP)))

ω is a scalar