Nuclear-Level Effective Theory of $μ\rightarrow e$ Conversion