Describir: The Design of an Optimizing Compiler