tiny language tweaks

and fixed some things I deleted and other miscellany