Introduction/elimination vs creating/using

[tomjaguarpaw]

The documentation of some libraries (e.g. bytestring, optics) talks about "introduction" and "elimination" of a data type. These are formal terms from mathematical logic. In common parlance we would probably say "creating" and "using" instead. Should we encourage a switch?