towards a cybernetic council communism with a hackable, self-documenting, emacs-like interface written in a purely functional lisp based on graded modal dependent type theory