return functionality not working with nested sub functions

Currently only variables and concrete values are supported. We should switch to the already existing useReturnType hook to support param nodes in the return type validation. This will include the outsourcing of the validateValue and validateType function inside the DataType view.