added more modules and all klabels to kore.k
draft of quote-unquote.kore translation
added `[.::KList]` where necessary
fixed: translated concrete-syntax tokens to KAST
Update quote-unquote.kore
added klabel to all productions
draft of k-visitor in kore
renamed `_`, fixed HOLEs
make KAttributes hold K
removed/replaced remaining sort ":"
partially fixed kore.k and quote-unquote.kore
updated to #KAttributes
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
fix ":"
Merge remote-tracking branch 'origin/kast-in-K' into new-kast

Conflicts:
	samples/kast/k-visitor.kast
inner kore data structures draft