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