Added method on MAKE-INFO specialed to SPECIAL-OPERATOR-INFO.