Cleanup unused code from previous rule implementation.
Implement lookup-table datalog-based matching.