Solidity 0.5: when typed does not mean type safe