Return types are not inferred for functions

[Hacker-007]

The current implementation for the type inference algorithm is not able to infer the return types, especially if they are not used in any other context.

This will require a change to the actual algorithm used, which is currently the Wand Algorithm.