Rust week of 2017-12-14

2017-12-21

Some more work on mrh: