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