General Value Types in Solidity