Deep Mental Models for Solidity ABI Encoding: Part 1