Enter checking mode for return annotations.

If we come across a return annotation on s-lam's, we should make sure
that we enter checking mode, so that we can give better error messages.