Simplify InnerTVar in DefaultTSer.
Added some specs for collections.