Return statement value type not checked against function return type

[degory]

Type of values returned from functions, properties and indexers are not checked against the declared return type.

Also, it's possible to return values from void functions and vice versa (the latter is allowed in ghul, and results in a default value being returned, but should give a warning message)