Add sections on naming and type inference