> My understanding from my Libertarian Ron/Rand Paul friends is that they believe the Federal government should not have a single program that's not explicitly specified in the U.S. Constitution.

The Constitutionalist argument is mostly an outer limit on their support for government programs. They also believe that the federal government shouldn't do many things that it is expressly empowered to do in the Constitution.