Dimensions, Embeddings and Iterated Function Systems