Synthetic Integral Cohomology in Cubical Agda