Adding a nested-expressions proposal