Add check to H.
Rename match to matchArgs in Symbolic.
Use the H monad in eval and index.