Engel relations in 4-manifold topology