Seventeenth-century instrument maker Ralph Greatorex made some "lamp-glasses" that impressed early microscopist Robert Hook. What were lamp-glasses and how did they work?