completed std lib and operator portion of agrad-rev paper