Vector-valued Sobolev spaces based on Banach function spaces. (October 2021)