Extend `PrimitiveIdentification` up to degree 8191

[fingolfin]

Or at least document the limitation: which orders it supports well, which badly, which not at all.