Actually no. You rarely need to annotate anything. They type checking is independent from the optimization of you turn off the type based optimizations. You

Actually no. You rarely need to annotate anything. They type checking is independent from the optimization of you turn off the type based optimizations. You still get good results. This doesn't get you away from the requirements for advanced optimizations (property use restrictions in particular).