A library for editing typed command lines