add more stuff to spec-compiler.jj