Type inference for method calls

[jmaessen]

Calls to generic methods are not performing type inference as they should. This substantially uglifies library code because it means we have to perform instantiations all over the place. It also makes it hard and unreliable to write and debug Fortress programs. Finally, it prevents us from using the desired desugaring of generator lists so that we can implement comprehensions and reduction expressions.