Similar Items: Type Theory With Erasure