Add return type warning for calls

If the call did not specify the return type, the return type is inferred
from the method. This can give students the impression their code is
returning the right datatype (because the tester is using it) even when
it is not.

A warning has been added to let students know that this may not be the
case.