Extend context properly
Surface elaborator
cli
Print canon term in emacs mode