reflective architectures that instrument and reify the computation steps - View it on GitHub