Similar Items: Semi-continuous Sized Types and Termination