Dynamic Editors for Well-Typed Expressions