[eeps] Multi-Parameter Typechecking BIFs

[mats cronqvist]

Kenneth Lundin <kenneth.lundin@REDACTED> writes:

> Let us sum up what we have here:

  for the record; Kenneth has summed up my views in a much better way
  than I myself am capable of.

  mats