fixed: translated concrete-syntax tokens to KAST