move ReifyGraph into Reify
hide some unneeded stuff inside FunGraph, instead expose (reversed version of) topsort as FunGraph field