overloading functions against function templates

[Lutger]

My intuition would be that functions are more concrete than templates, and 
thus will be checked first.

Will implicit conversions match the same way as exact type matches?