lua_type and default tags

["John Belmonte" <jvb@...>]

Is it a coincidence that the enumeration returned by lua_type() matches the
default tag numbers of each type?  Would it make sense to add this to the
spec so we may rely on it?

-John