documented the new lua_use_default_type directive.