Predicates / (bijective-)transformation of ruby datastructures with optionally tracked evaluation