multi-stage relational programming for staged relational interpreters: running with holes, faster - View it on GitHub