Additions for current Rust master

Closes #37