fix(specs,testing): Fix serializaiton to use camelCase; refactor model impls#96

fselmo merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

fselmo:fix/refactor-and-fix-model-implementationsfselmo/leanSpec:fix/refactor-and-fix-model-implementationsCopy head branch name to clipboard