Haar Frame Characterizations of Besov–Sobolev Spaces and Optimal Embeddings into Their Dyadic Counterparts