Text this: Effective Field Theories for Heavy Majorana Neutrinos in a Thermal Bath