Describir: Embeddings and extensions in analysis