Expressive typing: a new way to sense typing pressure and its applications