globalpolytype, dotp1 and dotp2 are not globals anymore