Backend: Explicit the size of the environement in functions type