Instructional Course in Lie Theory