One wrapper: a Decl or a Let without the term it is around.
Decl
Let
inner inside this wrapper.
inner