some notation improvements
a few tweaks, filling out todos, etc.