Test that no library id/fun is loaded in the environment twice

[kmels]

For base, we have builtins e.g. GHC.Num and monophiers (are these contained in .hcr at all?). We also load the includes.

Test: verify that we don't have two different definitions for a base function