Limit allowed types to those seen in function results.
Rename unPoly to mono.