In particular, we could start with the functions in the module `TildePrefix`, since we worked on them recently with #164.
