code: private Result allSubTypes(List<PType> sub, List<PType> sup,
  			boolean invignore)
  	{
  		if (sub.size() != sup.size())
  		{
  			return Result.No;
  		} else
  		{
  			for (int i = 0; i < sub.size(); i++)
  			{
  				if (searchSubType(sub.get(i), sup.get(i), invignore) == Result.No)
  				{
  					return Result.No;
  				}
  			}
  		}
  
  		return Result.Yes;
  	}
docs: Compare two type lists for placewise subtype compatibility. This is used to check ordered lists of types such as
  those in a ProductType or parameters to a function or operation.
  
  @param sub
  @param sup
  @return Yes or No.