Struct requirements (`#require`)

Use #require on a struct to state requirements that must hold for all values constructed for that type.