add BUTLASTN and LASTN to basis_emitTheory