editor: working on AlgebraKIT integration