Added info about non-exhaustive pattern matchings and guards.