Fix record/tuple literal elaboration

[Kmeakin]

Fixes #507

When record types are quoted, the size of the environment is incremented with each field. But this is not done when record types are created during synthesis of record literals/tuple literals. This led to off by one errors