misc cleanup

Including: exporting functions of type classes, fixing dependency versions, and adding a few overlooked conveniences.