Helpful Puppet types for interacting with SELinux