adding top-level simple let bindings to the encoding