getting back to good old kore.k, but it is a different now; it is a real core of K now.
Merge remote-tracking branch 'origin/kast-in-K' into new-kast
wip
wip
wip
move KSort to BASIC
move KAttributes to BASIC - so that we can add them to terms
KConstant has a KSort sort
copied KVariable regex from new-kast.k
KAttributes on KItem
allow a module to have attributes
hooks for inner kast
this commit may upset some people, but I think I finally get it...
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
Added hooks to OUTER-KORE + hook explanation

See the comment at the beginning of the file for an explanation of how to read the hook attributes.

Also added "com" attributes to some list. Together with the "assoc" attribute they make the list be hooked to a Set implementation.
added hooks to INNER-KAST
Update kore.k
Update kore.k