Fix two similar EXTREMELY SILLY bugs
Update to new Rust (d300a64)
Fix a type error caused by dumb typechecker
Bump the test submodule