The Luddites were proto-revolutionaries against industrial law