Get rid of stale TODO (done now)
Get rid of Yi.Buffer.HighLevel.hs-boot