[Many things that make sense]
I think you missed a point I tried to raise several time unsuccessfully, and which is IMO very important.
VRP should behave as a fallback mechanism. IE, VRP should kick in when the situation would result as an error without. Integrals literals must be typed as integral types, so never match bool when an overload with an integral is available (same goes for byte or short).
