#PatternMatching  "by type" matching added.