Text this: Renormalization of general Effective Field Theories: formalism and renormalization of bosonic operators