Remove weak typing
Rename eqv? to equal? now that weak typing is gone
Tweak equal