Existential types in Rust

This all seems like a very slow way to introduce generic packages, but implicitly and sort of inside-out as Rust generally does. A future step would be instantiation of, uh, ``crates with formals'' in function scope while not introducing an explicit declarative section.