beam_ssa_type: Use types from some 'lists' functions

This commit lets the compiler know about the return
type of some of the functions in the `lists` module.
Knowing about the return will allow the compiler to emit
fewer type test instructions, and also fewer instructions
for throwing `case_clause` or `badmatch` exceptions, thus
producing slightly faster and more compact code.

This change makes the `lists` module a part of the language, but it
could be argued that it already is because several functions
(e.g. `member/2` and `keymember/3`) are implemented in as BIFs in the
runtime system. Therefore, a user cannot simply change the
`lists` module and expect everything to continue working as before.

The compiler will now know the return types for the following
functions:

    all/2
    any/2
    keymember/3
    member/2
    prefix/2
    suffix/2

    dropwhile/2
    duplicate/2
    filter/2
    flatten/1
    map/2
    mapfoldl/3
    mapfoldr/3
    partition/2
    reverse/1
    sort/1
    splitwith/1
    takewhile/1
    unzip/1
    usort/1
    zip/2
    zipwith/3

0 files changed, 0 insertions, 0 deletions