I have a WordPress parent theme that uses a custom post type called portfolio, which I'd like to change to property