Module handles

Expand description

This module provides structs that use lifetimes to couple bounds checking and space availability checking and detaching those from actual slice reading/writing.

At present, the internals of the implementation are safe code, so the bound checks currently also happen on read/write. Once this code works, the plan is to replace the internals with unsafe code that omits the bound check at the read/write time.