Similar Items: The Independence of Markov's Principle in Type Theory