Multiple headers

Updated the `Header` data type with an additional constructor `TwoHeaders` allowing multiple headers. Follows the design of `TwoParams`.