Moving defprod.lisp to defprod.lsp since it doesn't currently build