A Mathematical Object System in Common Lisp