Is Sir Gawain and the Green Knight an Opera buffa?