Reorder recursion paper; add GV rules for isorecursive types and
replication.