Heavy WIMP Effective Theory Formalism and Applications for Scattering on Nucleon Targets | EKB DL