Revise drule module until INSTANTIATE_ALL function
Complete conversion of drule module

Notice that we lift up the partfn parameter for safe use