Add Request Bound Functions

So that we can link them to arrival curves of Network Calculus in NCCoq as discussed in https://gitlab.mpi-sws.org/RT-PROOFS/project-administration/-/issues/23

The link with Network Calculus arrival curves can be found here : https://gitlab.mpi-sws.org/proux/nc-coq/-/tree/prosa-link/link