Started work on 543
I should only need findCommonRoot now and someway to prevent infinite loops! :P
Welp, this is a much better idea, thanks nddrylliog! o/
Added nice error message
Start up findCommonRoot
More work on finding common roots, now we can lift the sugar from our base types to see what is hidden undearneath
Working distanceFromObject, findCommonRoot is getting there
Type of match expression is now correctly inferred. Closes #543
Fix for number types inferred by match
Fixed sugarization of the inferred type
Merge pull request #582 from shamanas/master

Fixed the way a match expression infers its type. Closes #543