Correctness tweaks

- Pulled in SWAPF from SJ-LISP
- Changed INT63 to FIXNUM
- Replaced hard-coded logarithmic counter with calculated counter