rename top to term

Conflicts:
	kore/src/main/scala/org/kframework/Collection.scala
move rewriting stuff to .tiny
Merge branch 'feature/pipeline-integration'
move sorts
and fork
move sorts
fix
clearing up the boundary between kore and builtins
Merge branch 'feature/pipeline-integration'

Conflicts:
	kore/src/main/scala/org/kframework/Collection.scala
	kore/src/main/scala/org/kframework/builtin/builtins.scala
	kore/src/main/scala/org/kframework/kore/Attributes.scala
	kore/src/main/scala/org/kframework/kore/Sorts.scala
add sorts
fix problems introduced by clean-up