Similar Items: Turing machines on represented sets, a model of computation for Analysis