Nabla2.agda: progress made jpb at ICFP2014