Type check in context of private symbols
Type check in context of private symbols

Include both public and private symbols from imported modules when type
checking. This addresses saw-script#971.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script