Text this: The Independence of Markov's Principle in Type Theory