Kernel language implementation with initial JSON concrete syntax