Updated the type uniqueness example for the advanced walkthrough