K framework syntax file and settings