renamed rhsType -> rhsCategory
moved implementation of "hook" to prelude
swapped ↑⍵ and ⊂⍵ (Mix and Disclose), #13 #34 #65

I abstain from an opinion about which should be which.