lecture video exercise implement Nat numbers
provided implemention of pattern matching expressions from the lecture video
optional exercise add braces only where appropriate when showing expressions
implement insertion sort for lecture exercise