Includes all functionality sans sampling via Gaussian distributions

Since p_zt is of type ZZ_pE, all operations involving it will be mod q automatically