fix
covering headless KLists and TermComments
Merge branch 'feature/pipeline-integration'

Conflicts:
	kore/src/main/scala/org/kframework/kore/kast.scala