New DAML+OIL Tools