refactor PERCENT-SYMBOL-P function
modify to check bound variables are symbols in quantification form
modify to refactor SPECIALIZE-FUNCTION-QUANTIFICATION function