A defined type for managing WMI objects with Puppet