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