decoupling Iso
install feature
WIP
Modes
LOC reductions, helper functions, generalizing on ReaderT m Rules ()