Fixed some indentation errors in examples at section 3.a. Also included an example for `undefined` type check.