Hmm, I'm not really sure what to do with these - I didn't want to make them errors or warnings, since they are not a problem with compiling the program. OTOH, I don't want to make them debug! or info! because they are error messages, so users of this code should see them, not just developers of it.

Any opinion?