Boxing may screw up == comparison
Disallow inserting _free
Use equiv to for _free equivalency when inserting, since it will be cast if necessary
Note on checking equality