"dispatch on return type" overload resolution

[olynch]

A much wanted feature in Julia is "dispatch on return type". In GATlab we potentially have the infrastructure to include either inferred or explicitly declared return types in the dispatch resolution. This would enable, for instance, using 0 for both scalars and vectors in the theory of a module over a ring.