Finally! All *Id types are now first-class types rather than tpyedefs.