Test for BIFs without type information

[Björn Gustavsson]

I have added type information for all BIFs that
didn't have them (except for BIFs in the hipe_bifs
module). I have also strengthened the test case
to detect some more common mistakes.

git fetch git://github.com/bjorng/otp.git bg/bif-types

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB