Safety, undefined behavior, @safe, @trusted

[Frank Benoit]

safe should be the default. The unsafe part should take the extra
typing, not the other way. Make the user prefer the safe way.