Return statement typing and type checking.