Add step_equation template
Add lambda_subst
Update elements