Typed Optimized Text Editor