Remove 'unsafe' workarounds once pure goes away

[Kimundi]

Right now there are a lot of situations where you have to wrap the body of a function in an unsafe block to make it pure, because some of the functions you're using aren't declared as pure. Those have to be remove if purity goes away or its definition becomes broader.