Describir: Fixed Point Theorems via Binary Relations and Generalized Altering Distance Functions with Applications to Boundary Value Problems