Refactor redeemer heading directives into their own module