I was wondering: is there a way to write nested dispatch tables, so that I can dispatch based on the type as well?

That sounds like polymorphism to me. Call a named method on a container instance or an object instance and Perl will dispatch to the appropriate method for you based on type.