Types within POLYMAX