update 01_the_basics - Type Safety and Type Inference