Validating Input via Fallible Constructors

Enforce invariant safety by requiring object construction through Result.