Allow multiple potential return types & defer expression type checking.

Allow multiple potential return types & defer expression type checking. #3754