More Pattern Matching Improvements

The value being matched may now be retrieved from a non result returning
Match expression
Working on a way to elegantly extend a match with inferred type.