Basic Typing, Part I: Methods (Part II) (1944