improve reflection

Conflicts:
	kore/src/main/scala/org/kframework/tiny/Reflection.scala