fix pattern in scpcf's havoc rule + fix implementation of `/`

This pull request:
* Fixes pattern in `scpcf/heap/semantics.rkt`'s `havoc` not matching when some of the argument is opaque
* Fixes `/` as an alias for `quotient` (I define `÷` as both)