Revert "move KSort to BASIC"

This reverts commit ba2f36207d8a9a99d7d53a8fb28f3bc8e04a713b.

Conflicts:
	samples/kast/kore.k
Revert "move KAttributes to BASIC - so that we can add them to terms"

This reverts commit b2c96b247698af2c7811ed1d29d378ec923565c2.

Conflicts:
	samples/kast/kore.k
last fix to bring it back to the exact previous version