Function: byte-compile-check-variable

Do various error checks before a use of the variable VAR.

(fn VAR ACCESS-TYPE)