Migrating to unified-builtin2:
Replaced

syntax K ::=

with

syntax KItem ::=

Should work with master as well. Future changes impossible due to builtins being changed without any compatibility preserved.