modify to enhance type checking in kernel.lisp and environment.lisp
modify to get the C name of a function in a environment's internal function object instead of in a environment itself