Typdit: An Online Editor Where Words Fall into Place