Add wifi_hal_prop and remove exported_wifi_prop

To remove bad context names "exported*_prop"

Bug: 155844385
Test: boot and see no denials
Change-Id: Icd30be64355699618735d4012461835eca8cd651
Merged-In: Icd30be64355699618735d4012461835eca8cd651
(cherry picked from commit 37c2d4d0c9669f3c7590f3dfccfac3c9725d1b5a)
(cherry picked from commit 3b66e9b9f855ad0694efed405a30d64265854784)
diff --git a/private/property.te b/private/property.te
index db43ae3..06fae0a 100644
--- a/private/property.te
+++ b/private/property.te
@@ -218,12 +218,13 @@
 
   neverallow {
     domain
-    -coredomain
+    -init
+    -dumpstate
     -hal_wifi_server
     -wificond
     -vendor_init
   } {
-    exported_wifi_prop
+    wifi_hal_prop
   }:property_service set;
 
 # Prevent properties from being read