Adding strictness annotations on HeaderChain types