added other PatternMatching, cleaned up examples