Updating examples; most are still incomplete