Constify some tables
Add support (turned off) for BLS75 theorem 7
Start of function to return Hilbert polynomials