Inline let-definitions in `sig` and `struct`

[olynch]

In a sig or struct block, it should be possible to make definitions that are not fields and are just let-bound.