Additional info for PTTypes

Murali wants ADL lookups on calls where it is "simple enough" to find the right qualifier from the arguments -- and error hard for any other case. 

Getting Program Types from the call arguments (ProgramExps) is easy. And, since we already force users to qualify types to resolve any ambiguities with facilities, by adding this facility info into that instance of the PTType, our life is made easier when it comes time to find the specific qualification info for programExp args.