More work on types for tables examples.#779

duvenaud wants to merge 4 commits intogoogle-research:maingoogle-research/dex-lang:mainfrom

duvenaud:tablesduvenaud/dex-lang:tablesCopy head branch name to clipboard