Implement in terms of InsertCharPre

Closes #1.