add get_property_names() and is_property_name()