Exact pattern-matching up to standard equivalence
Also, slightly better debugging output