Add a module for fallable and infallable type conversions

We need a lot of type conversions and we'd like to be more principled than
`fromIntegral`.