Newtype Pattern for Type Safety

Prevent domain-logic errors by wrapping primitive values in type-safe containers.