Safety Constraints for Low-Level Pointers

Use trait bounds to define how raw pointers should be safely dereferenced in generic code.