EVM-integration

It's almost working. I suppose there's something wrong either with my
queries or with the Rule instantiations.