Improve warnings around unsafe types

[ospencer]

Right now, we check that unsafe types are not used with functions in Pervasives like print, but we should make the typechecker disallow them from typechecking with any generic type completely.