ASDF system definition
generally robustify for fixnum inputs
more type checks; SBCL function installation