Initial push of progfun-objsets