KList is no longer a K, added a Top type

Conflicts:
	kore/src/main/scala/org/kframework/kore/kast.scala
fixes some errors