theres a ton of mini microphones available,look into Audio Technica,Church Audio,DPA,Sennheiser,ect,ect... all depends on what you want to spend..$$
theres a ton of threads on here about all the different types.
better yet, start listening to a bunch of live recordings to give you (a vague) idea of where to start as far as different mics and what they offer