Simplify ReactiveRule
Add ReactiveRule interpreter