That would be useful. Maybe inference could be mentioned and explained (or at least linked to) before going into classes and stuff, so that when you get to examples, you know how "far" it infers stuff.