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