Basic Typing, Part I: Methods