In particular: - Use explicit types everywhere to improve clarity - Use target-typed new() expression when target is explicit - Use explicit discard for value-returning statements