Skipped kernel-function type declamiation for sbcl
svm tests online and running clean