Fixed check-type forms, disabled type declatation in SBCL for assignment of nil to declared typed var