Editing: to-type.js