TOML Elaboration

Elaborates TOML syntax into Lean data types. At top-level, elaborates a whole TOML file into a Toml.Table.