Seol mar théacs é seo: Symmetric power functoriality for Hilbert modular forms