Intrinsic acceleration

This CL is ridiculous. Hey, at least now you have a syntax-highlighted diff!
I wish you had a type name for this pair.  Then you could define the map from it: `MyJollyGoodPair::first_type`, etc.