Update old string interpolation syntax in §6.6.10
Fix missing 'InlineDeclarationArgument:' in BNF
Merge pull request #1007 from lucaswerkmeister/specFixes

Minor spec fixes