Scala Reflection utility methods
added constucting using the constructor
fix for ktoken

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