Minor build-level changes

add explicit types to tests; update versions and clean up corresponding code.