tweaked reifyE' type for terser rules
Encode
tweaked bool decode
indentation
reorder reify args
reifyE arg swap