refactor mutator-equal? to use gc->scheme comprehensively

Dumped the old solution by asking the question,
What if cons contains vectors?