fix: Some little defects. Better delimiting in texifyTerm. More lookups instead of (!). And two deepExpands in right places.