pattern matching

added some exercises of pattern matching and datatypes -- inclusive
"unit" tests