John McCarthy's 1964 proposal for the definition of product and sum types in A