Question: How to use seq modifier with type:-polynom?

I have recently discovered that some objects in maple are (unexpectadly, and perhaps undeservedly) considered type:-polynom.

> T := table():
> type( T, polynom );
                                                true

> R := proc() end proc:
> type( R, polynom );
                                                true

My attempts to circumvent this by using a shaper polynom type were in vain (R can be subsituted with T without affecting output):

> type( T, polynom );
                                                true

> type( T, polynom(integer) );
                                                true

> type( T, polynom(nonnegint) );
                                                true

> type( T, polynom(posint) );   
                                                true

Worse yet, this strange behaviour isn't even consisent, 

> type( R, polynom(prime) );
                                                false

Explanations? Solutions? Bugs? But more to the point. How can one ever do

  >   FooBar := proc( fs::seq(polynom), T::{procedure,table,...?} )