kore.k revised: attributes form an ordinary K term/bubble now
Merge branch 'kast-in-K' of https://github.com/kframework/k into kast-in-K