Great job! Adding Engineering Examples to the Specs?

Would it be possible to add some engineering-related examples? Right now, it looks like all the specs are about math problems. I saw you mentioned UML — maybe you could try doing a UML project and write the specs in Lean?
