Return Type Validation for Procedure and Function Methods

[xterao]

Due to the differences in return type rules between methods annotated with @function and those annotated with @procedure, we will implement additional return type validation specifically for methods annotated with @function.