so having this kore backend is fine for now since you already did the work on it but bear in mind that in the long term what is actually needed is to serialize to kore as part of the ordinary parsing process. so try to focus more on that than on a special backend that outputs kore.