Compiler: type safety for type-match/pattern-match overloads

```
It is not enforced that all type-match or pattern-match overloads return the 
same type. This can cause bogosity. Add type safety checks to ensure either:

 - All overloads return the same type

OR

 - Overloads are grouped by return type and the appropriate group is selected at compile time
```

Original issue reported on code.google.com by `don.ap...@gmail.com` on 5 Sep 2014 at 5:28
