Repotting and big-picture stuff.
More commenting.
Type-safety changes.