It should be possible to stick macros on tokens that will allow the token to add itself to the token list. I think it is based around an option to prevent the players from editing the macro even if they own the token...
Those summoned monsters hit pretty hard, I mean, 12 damage isn't so much in the grand scheme of things, but it is plenty at low levels. That particular monster has an interesting ability too. Apparently the D.M. reduced or disabled it in some fashion, but, by default, if one of those abyssal maws knocks you into negative hit points, they deal extra damage. It has a sort of vaguely practical function of making it difficult for the party to recover its disabled members, but mostly it is designed to enhance the kill-count...
I like it if things keep happening, so spending 20 seconds on each attack to describe the angle at which it bounced off of the armour or precisely which point and at which angle the character was bisected wouldn't really add much for me. I would say that we need a lot of strategic information, stuff like where the landmarks are and What our supplies are like. Which factions we have met and how quickly we can travel, especially compared to the other inhabitants. Not to mention which regions have which natural resources. It would be nice to have constant access to a map to plan stuff if we find ourselves making decisions while busy on smaller-scale items.
As for tactical information, maps take care of most of the details, knowing how high and sturdy the room is are often overlooked details, but I would hope that, in general, you can get away with relatively little information...