TopLevel should automatically set Module#name of anonymous modules

I guess this is related to #2598